dk.au.ece.vdmj.vdmj-suite 4.5.0
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.5.0</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
- February 28, 2024
- GNU GPLv3
Download activity
- Total downloads 0
- Last 30 days 0
- Last week 0
- Today 0