Download all versions of vdmjplugin JAR files with all dependencies
vdmjplugin from group dk.au.ece.vdmj (version 4.5.0-P)
Artifact vdmjplugin
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 Not specified
License not specified
Dependencies amount 1
Dependencies vdmj,
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 Not specified
License not specified
Dependencies amount 1
Dependencies vdmj,
There are maybe transitive dependencies!
vdmjplugin from group dk.au.ece.vdmj (version 4.5.0)
Page 1 from 1 (items total 2)