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.

• 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

-- JohnFitzgerald - 28 Dec 2009