Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Books on VDM

This page provides an overview of books on the Vienna Development Method (VDM) and in addition the book on co-modelling and co-simulation with the Crescendo tool:

Click on the image of the book you are interested in to access support material, including teaching materials, additional exercises, tools and other information.

Modelling Systems: Practical Tools and Techniques for Software Development: 2nd Edition Modelling Systems: Practical Tools and Techniques for Software Development: 2nd Edition Validated Designs for Object-oriented Systems Validated Designs for Object-oriented Systems The Book on Collaborative Development of Cyber-Physical Systems
Formal Software Development: From VDM to Java SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM mural: A Formal Development Support System Proof in VDM: A Practitioner Guide