Download de.rwth.i2 JAR files with all dependencies
attestor-benchmark-helper from group de.rwth.i2 (version 0.4.1)
Group: de.rwth.i2 Artifact: attestor-benchmark-helper
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
attestor from group de.rwth.i2 (version 0.4.1)
A verification tool for model-checking Java pointer programs based on context-free graph grammars.
Artifact attestor
Group de.rwth.i2
Version 0.4.1
Last update 28. October 2019
Organization not specified
URL https://moves-rwth.github.io/attestor/
License GNU General Public License, version 3
Dependencies amount 12
Dependencies soot, LTLParser, log4j-api, log4j-core, jackson-core, jackson-databind, trove4j, json, commons-cli, httpclient, httpmime, antlr4-runtime,
There are maybe transitive dependencies!
Group de.rwth.i2
Version 0.4.1
Last update 28. October 2019
Organization not specified
URL https://moves-rwth.github.io/attestor/
License GNU General Public License, version 3
Dependencies amount 12
Dependencies soot, LTLParser, log4j-api, log4j-core, jackson-core, jackson-databind, trove4j, json, commons-cli, httpclient, httpmime, antlr4-runtime,
There are maybe transitive dependencies!
attestor-examples from group de.rwth.i2 (version 0.4.0)
Collection of executable benchmarks for Attestor.
0 downloads
Artifact attestor-examples
Group de.rwth.i2
Version 0.4.0
Last update 03. February 2019
Organization not specified
URL https://github.com/moves-rwth/attestor-examples
License GNU General Public License, version 3
Dependencies amount 2
Dependencies jmh-core, attestor-benchmark-helper,
There are maybe transitive dependencies!
Group de.rwth.i2
Version 0.4.0
Last update 03. February 2019
Organization not specified
URL https://github.com/moves-rwth/attestor-examples
License GNU General Public License, version 3
Dependencies amount 2
Dependencies jmh-core, attestor-benchmark-helper,
There are maybe transitive dependencies!
LTLParser from group de.rwth.i2 (version 0.0.2)
LTL parser for attestor.
Artifact LTLParser
Group de.rwth.i2
Version 0.0.2
Last update 05. February 2018
Organization not specified
URL https://github.com/cmatheja/LTLParser/
License GNU General Public License, version 3
Dependencies amount 2
Dependencies guava, sablecc-maven.sablecc,
There are maybe transitive dependencies!
Group de.rwth.i2
Version 0.0.2
Last update 05. February 2018
Organization not specified
URL https://github.com/cmatheja/LTLParser/
License GNU General Public License, version 3
Dependencies amount 2
Dependencies guava, sablecc-maven.sablecc,
There are maybe transitive dependencies!
Page 1 from 1 (items total 4)