dk.au.ece.vdmj.vdmj-suite 4.5.0-P-SNAPSHOT
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-P-SNAPSHOT</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
- March 04, 2023
- GNU GPLv3
Assets
- vdmj-suite-4.5.0-P-20240115.114715-6.pom.md5
- vdmj-suite-4.5.0-P-20240115.114715-6.pom.sha1
- vdmj-suite-4.5.0-P-20240115.114715-6.pom
- vdmj-suite-4.5.0-P-20240114.191242-5.pom.md5
- vdmj-suite-4.5.0-P-20240114.191242-5.pom.sha1
- vdmj-suite-4.5.0-P-20240114.191242-5.pom
- vdmj-suite-4.5.0-P-20240105.171615-4.pom.md5
- vdmj-suite-4.5.0-P-20240105.171615-4.pom.sha1
- vdmj-suite-4.5.0-P-20240105.171615-4.pom
- vdmj-suite-4.5.0-P-20231103.204206-3.pom.md5
- vdmj-suite-4.5.0-P-20231103.204206-3.pom.sha1
- vdmj-suite-4.5.0-P-20231103.204206-3.pom
- vdmj-suite-4.5.0-P-20230815.150546-2.pom.md5
- vdmj-suite-4.5.0-P-20230815.150546-2.pom.sha1
- vdmj-suite-4.5.0-P-20230815.150546-2.pom
- vdmj-suite-4.5.0-P-20230304.215736-1.pom.md5
- vdmj-suite-4.5.0-P-20230304.215736-1.pom.sha1
- vdmj-suite-4.5.0-P-20230304.215736-1.pom
Download activity
- Total downloads 1
- Last 30 days 0
- Last week 0
- Today 0