Download all versions of vdmj-suite JAR files with all dependencies
vdmj-suite from group dk.au.ece.vdmj (version 4.6.0-P)
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.
Group: dk.au.ece.vdmj Artifact: vdmj-suite
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact vdmj-suite
Group dk.au.ece.vdmj
Version 4.6.0-P
Last update 23. September 2024
Tags: 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
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.6.0-P
Last update 23. September 2024
Tags: 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
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
vdmj-suite from group dk.au.ece.vdmj (version 4.6.0)
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.
Group: dk.au.ece.vdmj Artifact: vdmj-suite
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact vdmj-suite
Group dk.au.ece.vdmj
Version 4.6.0
Last update 23. September 2024
Tags: 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
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.6.0
Last update 23. September 2024
Tags: 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
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
vdmj-suite from group dk.au.ece.vdmj (version 4.5.0-P)
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.
Group: dk.au.ece.vdmj Artifact: vdmj-suite
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact vdmj-suite
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Tags: 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
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Tags: 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
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
vdmj-suite from group dk.au.ece.vdmj (version 4.5.0)
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.
Group: dk.au.ece.vdmj Artifact: vdmj-suite
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact vdmj-suite
Group dk.au.ece.vdmj
Version 4.5.0
Last update 28. February 2024
Tags: 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
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.5.0
Last update 28. February 2024
Tags: 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
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
vdmj-suite from group dk.au.ece.vdmj (version 4.4.6)
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.
Group: dk.au.ece.vdmj Artifact: vdmj-suite
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact vdmj-suite
Group dk.au.ece.vdmj
Version 4.4.6
Last update 08. August 2022
Tags: 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
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.4.6
Last update 08. August 2022
Tags: 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
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
vdmj-suite from group dk.au.ece.vdmj (version 4.4.6-P)
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.
Group: dk.au.ece.vdmj Artifact: vdmj-suite
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact vdmj-suite
Group dk.au.ece.vdmj
Version 4.4.6-P
Last update 08. August 2022
Tags: 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
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.4.6-P
Last update 08. August 2022
Tags: 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
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
vdmj-suite from group dk.au.ece.vdmj (version 4.4.5-P)
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.
Group: dk.au.ece.vdmj Artifact: vdmj-suite
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact vdmj-suite
Group dk.au.ece.vdmj
Version 4.4.5-P
Last update 13. July 2022
Tags: 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
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.4.5-P
Last update 13. July 2022
Tags: 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
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
vdmj-suite from group dk.au.ece.vdmj (version 4.4.5)
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.
Group: dk.au.ece.vdmj Artifact: vdmj-suite
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact vdmj-suite
Group dk.au.ece.vdmj
Version 4.4.5
Last update 13. July 2022
Tags: 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
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group dk.au.ece.vdmj
Version 4.4.5
Last update 13. July 2022
Tags: 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
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 1 (items total 8)