VDMJ 3.0.1-P Beta
Formal Modelling software in VDM
Formal Modelling software in VDM
ADVERTISING
Software Specs
Publisher:............ Nick Battle
License:............... GPL
Price:................... 0.00
File size:.............. 1228.8 MB
Downloads:.........
Release date:...... 06 Mar 2015
Last update:........ 23 Apr 2015
Publisher review for VDMJ 3.0.1-P Beta:
Review by: Nick Battle
VDMJ is a command line tool that provides basic support for the VDM-SL, VDM and VDM-RT specification languages, written in Java. It includes a parser, a type checker, an interpreter, a debugger, a proof obligation generator and a combinatorial test generator with coverage recording, as well as JUnit support for automatic testing.
Requirements:
Operating system:
Win2000,Win7 x32,Win7 x64,Win98,WinOther,WinServer,WinVista,WinVista x64,WinXP,Other
VDMJ screenshots:
VDMJ download tags:
Copyright information:
SPONSORED LINKS
Rate this software
VDMJ
Based on 0 ratings. 0 user reviews.
Based on 0 ratings. 0 user reviews.