Overture Tool
Formal Modelling in VDM
 |
Proof in VDM: a Practitioner’s Guide and Case Studies
“Proof in VDM: A Practitioners Guide” Juan C. Bicarregui, John S. Fitzgerald, Peter A. Lindsay, Richard Moore and Brian Ritchie, Springer-Verlag, 1994, ISBN:0-387-19813-X.
| download book | springer |
Juan C. Bicarregui (ed.) Proof in VDM: Case Studies, Springer-Verlag, 1998. This edited collection supports the “Proof in VDM” with case studies showing the application of rigorous proof in a range of applications and addressing the first steps towards automated proof support for VDM. The text is available as PDF files:
- Preface and Table of Contents
- Chapter 1: A Tracking System John Fitzgerald and Cliff Jones
- Chapter 2: The Ammunition Control System Paul Mukherjee and John Fitzgerald
- Chapter 3: Specification and Validation of a Network Security Policy Model Peter Lindsay
- Chapter 4: The Specification and Proof of an EXPRESS to SQL “Compiler” Juan Bicarregui and Brian Matthews
- Chapter 5: Shared Memory Synchronization Noemie Slaats, Bart van Assche and Albert Hoogewijs
- Chapter 6: On the Verification of VDM Specification and Refinement with PVS Sten Agerholm, Juan Bicarregui and Savi Maharaj
- Chapter 7: Supporting Proof in VDM-SL using Isabelle Sten Agerholm and Jacob Frost