Scientific decisions which characterize VDM (1999)

Cached

Download Links

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

Documents Related by Co-Citation

739 The B Book: Assigning Programs to Meanings – J R Abrial - 1996
1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
542 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
1194 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
1311 Symbolic Model Checking – K McMillan - 1993
645 Systematic Software Development Using VDM – C B Jones - 1986
450 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
576 Assigning meanings to programs – R W Floyd