Tools:: VDMTools
Website
VDMTools
Input Languanges:
  • Tool's own language (VDM-SL and VDM++)

Supported Techniques:
  • Type checking and Interpretation, Abstraction

Platforms:
  • Windows NT, Windows 95, Linux, Alpha, Sparc/Solaris Free To Universities



For questions and suggestions contact the webmaster
Formal Methods Group, CS Department, University of Toronto 2004