Scientific decisions which characterize VDM (1999)

Cached

Download Links

by Cliff B Jones
Venue:In FM’99 – Formal Methods
Citations:9 - 2 self

Active Bibliography

5 The transition from VDL to VDM – C. B. Jones
16 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
7 Operational semantics: concepts and their expression – Cliff B. Jones - 2003
On Teaching Software Engineering based on Formal Techniques -- Thoughts about and Plans for -- A Different Software Engineering Text Book – Dines Bjørner - 2001
2 A guide to reading VDM specifications – Bob Fields, Bob Fields - 1992
14 Understanding the differences between VDM and Z – I. J. Hayes, I. J. Hayes, C. B. Jones, C. B. Jones, J. E. Nicholls, J. E. Nicholls - 1993
Different Perspectives for Reasoning about . . . – M. Mazzara - 2009
Deriving Specifications of . . . – M Mazzara - 2009
17 A structural proof of the soundness of rely/guarantee rules – Joey W. Coleman, Cliff B. Jones - 2007
40 Years of Formal Methods Some Obstacles and Some Possibilities? – Dines Bjørner Α, Klaus Havelund Β, Dedicated Chris, W. George
3 Efficient Well‐Definedness Checking – Ádám Darvas, Farhad Mehta, Arsenii Rudich - 2008
11 Retrenchment: Extending the Reach of Refinement – M. R. Poppleton , R. H. Banach
Compositionality, Inference and Concurrency – C B Jones - 2000
Black tie optional: Modelling programming language concepts – Black Tie Optional Modelling, J. W. Coleman, N. P. Jefferson, C. B. Jones, J W Coleman, N P Jefferson, C B Jones - 2004
7 Formal semantics of programming languages: VDL – P. Lucas - 1981
1 On the speed of quantum computation – J W Coleman, N P Jefferson, C B Jones - 1994
Dansk Datamatik Center – Dines Bjørner, Christian Gram, Ole N. Oest, Leif Rystrøm
31 Hoare Logic and VDM: Machine-Checked Soundness and Completeness Proofs – Thomas Kleymann - 1998