Download all versions of attestor JAR files 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
Tags: programs model free graph verification tool context pointer java checking based grammars
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
Tags: programs model free graph verification tool context pointer java checking based grammars
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 from group de.rwth.i2 (version 0.4.0)
A verification tool for model-checking Java pointer programs based on context-free graph grammars.
Artifact attestor
Group de.rwth.i2
Version 0.4.0
Last update 03. February 2019
Tags: programs model free graph verification tool context pointer java checking based grammars
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.0
Last update 03. February 2019
Tags: programs model free graph verification tool context pointer java checking based grammars
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 from group de.rwth.i2 (version 0.3.8)
A verification tool for model-checking Java pointer programs based on context-free graph grammars.
Artifact attestor
Group de.rwth.i2
Version 0.3.8
Last update 22. March 2018
Tags: programs model free graph verification tool context pointer java checking based grammars
Organization not specified
URL https://moves-rwth.github.io/attestor/
License GNU General Public License, version 3
Dependencies amount 11
Dependencies soot, LTLParser, log4j-api, log4j-core, jackson-core, jackson-databind, trove4j, json, commons-cli, httpclient, httpmime,
There are maybe transitive dependencies!
Group de.rwth.i2
Version 0.3.8
Last update 22. March 2018
Tags: programs model free graph verification tool context pointer java checking based grammars
Organization not specified
URL https://moves-rwth.github.io/attestor/
License GNU General Public License, version 3
Dependencies amount 11
Dependencies soot, LTLParser, log4j-api, log4j-core, jackson-core, jackson-databind, trove4j, json, commons-cli, httpclient, httpmime,
There are maybe transitive dependencies!
attestor from group de.rwth.i2 (version 0.3.5-SEFM2018)
A verification tool for model-checking Java pointer programs based on context-free graph grammars.
Artifact attestor
Group de.rwth.i2
Version 0.3.5-SEFM2018
Last update 08. March 2018
Tags: programs model free graph verification tool context pointer java checking based grammars
Organization not specified
URL https://moves-rwth.github.io/attestor/
License GNU General Public License, version 3
Dependencies amount 11
Dependencies soot, LTLParser, log4j-api, log4j-core, jackson-core, jackson-databind, trove4j, json, commons-cli, httpclient, httpmime,
There are maybe transitive dependencies!
Group de.rwth.i2
Version 0.3.5-SEFM2018
Last update 08. March 2018
Tags: programs model free graph verification tool context pointer java checking based grammars
Organization not specified
URL https://moves-rwth.github.io/attestor/
License GNU General Public License, version 3
Dependencies amount 11
Dependencies soot, LTLParser, log4j-api, log4j-core, jackson-core, jackson-databind, trove4j, json, commons-cli, httpclient, httpmime,
There are maybe transitive dependencies!
attestor from group de.rwth.i2 (version 0.3.1)
A verification tool for model-checking Java pointer programs based on context-free graph grammars.
Artifact attestor
Group de.rwth.i2
Version 0.3.1
Last update 05. February 2018
Tags: programs model free graph verification tool context pointer java checking based grammars
Organization not specified
URL https://moves-rwth.github.io/attestor/
License GNU General Public License, version 3
Dependencies amount 11
Dependencies soot, LTLParser, log4j-api, log4j-core, jackson-core, jackson-databind, trove4j, json, commons-cli, httpclient, httpmime,
There are maybe transitive dependencies!
Group de.rwth.i2
Version 0.3.1
Last update 05. February 2018
Tags: programs model free graph verification tool context pointer java checking based grammars
Organization not specified
URL https://moves-rwth.github.io/attestor/
License GNU General Public License, version 3
Dependencies amount 11
Dependencies soot, LTLParser, log4j-api, log4j-core, jackson-core, jackson-databind, trove4j, json, commons-cli, httpclient, httpmime,
There are maybe transitive dependencies!
Page 1 from 1 (items total 5)