Download dk.au.ece.vdmj JAR files with all dependencies

csvreader from group dk.au.ece.vdmj (version 4.5.0-P)

An example external file reader for CSV files

Group: dk.au.ece.vdmj Artifact: csvreader
Show all versions Show documentation Show source

0 downloads

Artifact csvreader
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
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-P)

Group: dk.au.ece.vdmj Artifact: vdmjplugin
Show all versions Show documentation Show source

0 downloads

Artifact vdmjplugin
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies vdmj,
There are maybe transitive dependencies!

lspplugin from group dk.au.ece.vdmj (version 4.5.0-P)

Group: dk.au.ece.vdmj Artifact: lspplugin
Show all versions Show documentation Show source

0 downloads

Artifact lspplugin
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies lsp,
There are maybe transitive dependencies!

v2c from group dk.au.ece.vdmj (version 4.5.0-P)

Example VDM to C class mapper implementation

Group: dk.au.ece.vdmj Artifact: v2c
Show all versions Show documentation Show source

0 downloads

Artifact v2c
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies junit, vdmj, lsp,
There are maybe transitive dependencies!

dbgp from group dk.au.ece.vdmj (version 4.5.0-P)

DBGP protocol handler for VDMJ

Group: dk.au.ece.vdmj Artifact: dbgp
Show all versions Show documentation Show source

0 downloads

Artifact dbgp
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies vdmj,
There are maybe transitive dependencies!

vdmjunit from group dk.au.ece.vdmj (version 4.5.0-P)

Group: dk.au.ece.vdmj Artifact: vdmjunit
Show all versions Show documentation Show source

0 downloads

Artifact vdmjunit
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies junit, vdmj,
There are maybe transitive dependencies!

quickcheck from group dk.au.ece.vdmj (version 4.5.0-P)

Direct execution plugin for PO verification.

Group: dk.au.ece.vdmj Artifact: quickcheck
Show all versions Show documentation Show source

0 downloads

Artifact quickcheck
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies junit, vdmj, lsp,
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
Show all versions

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
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

examples from group dk.au.ece.vdmj (version 4.5.0-P)

Group: dk.au.ece.vdmj Artifact: examples
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact examples
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

stdlib from group dk.au.ece.vdmj (version 4.5.0-P)

Group: dk.au.ece.vdmj Artifact: stdlib
Show all versions Show documentation Show source

0 downloads

Artifact stdlib
Group dk.au.ece.vdmj
Version 4.5.0-P
Last update 28. February 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies vdmj,
There are maybe transitive dependencies!

Page 1 from 2 (items total 19)