a

attestor

A verification tool for model-checking Java pointer programs based on context-free graph grammars.
https://moves-rwth.github.io/attestor/
GNU General Public License, version 3
Christoph Matheja Dr. Christina Jansen Hannah Arndt
programs model free graph verification tool context pointer java checking based grammars
Files download
File Operation
attestor-0.4.1.jar download
attestor-0.4.1.pom download
attestor-0.4.1-sources.jar download
Apache Maven 
<dependency>
  <groupId>de.rwth.i2</groupId>
  <artifactId>attestor</artifactId>
  <version>0.4.1</version>
</dependency>
Gradle Groovy 
implementation 'de.rwth.i2:attestor:0.4.1'
Gradle Kotlin 
implementation("de.rwth.i2:attestor:0.4.1")
Scala SBT 
libraryDependencies += "de.rwth.i2" % "attestor" % "0.4.1"
Groovy Grape 
@Grapes(
  @Grab(group='de.rwth.i2', module='attestor', version='0.4.1')
)
Apache Ivy 
<dependency org="de.rwth.i2" name="attestor" rev="0.4.1" />
Leiningen 
[de.rwth.i2/attestor "0.4.1"]
Apache Buildr 
'de.rwth.i2:attestor:jar:0.4.1'
Dependencies

compile

|-- ca.mcgill.sable:soot:3.0.0-SNAPSHOT

|-- de.rwth.i2:LTLParser:0.0.2

|-- org.apache.logging.log4j:log4j-api:2.11.1

|-- org.apache.logging.log4j:log4j-core:2.11.1

|-- com.fasterxml.jackson.core:jackson-core:2.9.8

|-- com.fasterxml.jackson.core:jackson-databind:2.9.8

|-- net.sf.trove4j:trove4j:3.0.3

|-- org.json:json:20180813

|-- commons-cli:commons-cli:1.4

|-- org.apache.httpcomponents:httpclient:4.5.7

|-- org.apache.httpcomponents:httpmime:4.5.7

|-- org.antlr:antlr4-runtime:4.7.2

test

|-- junit:junit:4.13-beta-1

|-- org.hamcrest:hamcrest-all:1.3

|-- org.mockito:mockito-all:2.0.2-beta