Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Proof 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: