Download attestor JAR file with all dependencies
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!
Page 1 from 1 (items total 1)