VDMTools

• Release version (9.0.7)

  Implements some new features from VDM10 and bug fixes (pure operation, measure execution, order for composite type, sequence bind in sequence comprehension, etc)

  • Windows VDM-SL VDM++
  • MacOSX 10.13 VDM-SL VDM++
  • MacOSX 10.12 VDM-SL VDM++
  • MacOSX 10.7 VDM-SL VDM++
  • Linux VDM-SL VDM++
  • Mint Linux VDM-SL VDM++
• How to install VDM++ VDM-SL
• Documenatation
• Source repository