dk.au.ece.vdmj.vdmj-suite 4.6.0-P Latest version
Install 1/2: Add this to pom.xml:
Learn more about Maven or Gradle
<dependency>
<groupId>dk.au.ece.vdmj</groupId>
<artifactId>vdmj-suite</artifactId>
<version>4.6.0-P</version>
</dependency>
Install 2/2: Run via command line
$ mvn install
About this package
VDMJ provides basic tool support for the VDM-SL, VDM++ and VDM-RT specification languages, written in Java. It includes a parser, a type checker, an interpreter (with arbitrary precision arithmetic), a debugger, a proof obligation generator and a combinatorial test generator with coverage recording, as well as JUnit support for automatic testing and user definable annotations.
Details
-
nickbattle
- September 23, 2024
- GNU GPLv3
Download activity
- Total downloads 0
- Last 30 days 0
- Last week 0
- Today 0