Overture Tool
Formal Modelling in VDM
The VDM Specification Language
TBD see wiki pedia wiki
- VDM-SL: the VDM Specification Language, ISO/IEC 13817-1:1996, with extensions for modules
The Object-oriented extension
- VDM-PP: Object oriented extension of VDM-SL, also known as VDM++
The Real-Time extension
- VDM-RT: Extension of VDM++ for specifying real-time and distributed systems