Overture Tool
Formal Modelling in VDM
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.
 |
 |
 |
 |
 |
 |
 |
 |
 |