v

vdmj-suite

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.
https://github.com/nickbattle/vdmj
GPL-3.0
Nick Battle
precision debugger arithmetic generator recording annotations checker type java provides combinatorial written proof coverage junit languages test testing specification arbitrary automatic includes interpreter tool with definable parser obligation well vdmj basic support user
Files download
File Operation
vdmj-suite-4.5.0-P.pom download
Apache Maven 
<dependency>
  <groupId>dk.au.ece.vdmj</groupId>
  <artifactId>vdmj-suite</artifactId>
  <version>4.5.0-P</version>
  <type>pom</type>
</dependency>
Gradle Groovy 
implementation 'dk.au.ece.vdmj:vdmj-suite:4.5.0-P'
Gradle Kotlin 
implementation("dk.au.ece.vdmj:vdmj-suite:4.5.0-P")
Scala SBT 
libraryDependencies += "dk.au.ece.vdmj" % "vdmj-suite" % "4.5.0-P"
Groovy Grape 
@Grapes(
  @Grab(group='dk.au.ece.vdmj', module='vdmj-suite', version='4.5.0-P')
)
Apache Ivy 
<dependency org="dk.au.ece.vdmj" name="vdmj-suite" rev="4.5.0-P" />
Leiningen 
[dk.au.ece.vdmj/vdmj-suite "4.5.0-P"]
Apache Buildr 
'dk.au.ece.vdmj:vdmj-suite:jar:4.5.0-P'
Dependencies
The project has no third-party dependencies