Overture Tool
Formal Modelling in VDM
 |
Formal Software Development: From VDM to Java
“Formal Software Development: From VDM to Java” by Quentin Charatan and Aaron Kans: This gently-paced introduction to software engineering and formal methods uses VDM by way of examples and also looks at the translation of VDM into Java
| palgrave | amazon |