All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download de.rwth.i2 JAR files with all dependencies

Search JAR files by class name

attestor-benchmark-helper from group de.rwth.i2 (version 0.4.1)

Utility package to specify attestor benchmarks.

Group: de.rwth.i2 Artifact: attestor-benchmark-helper
Show all versions Show documentation Show source 
 

0 downloads
Artifact attestor-benchmark-helper
Group de.rwth.i2
Version 0.4.1
Last update 28. October 2019
Organization not specified
URL https://github.com/cmatheja/JmhBenchmarkHelper
License GNU General Public License, version 3
Dependencies amount 1
Dependencies attestor,
There are maybe transitive 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.

Group: de.rwth.i2 Artifact: attestor
Show all versions Show documentation Show source 
 

0 downloads
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!

attestor-examples from group de.rwth.i2 (version 0.4.0)

Collection of executable benchmarks for Attestor.

Group: de.rwth.i2 Artifact: attestor-examples
Show all versions Show documentation Show source 
 

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!

LTLParser from group de.rwth.i2 (version 0.0.2)

LTL parser for attestor.

Group: de.rwth.i2 Artifact: LTLParser
Show documentation Show source 
 

0 downloads
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!



Page 1 from 1 (items total 4)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy