Augur 2

Augur 2 is a tool for the verification of systems described by (attributed) graph transformations using approximated unfoldings. The obtained over-approximation consists of an underlying hypergraph and an (attributed) Petri net. Properties of graph transformation systems can be verified by analyzing the approximation, using regular expressions, first order logic and coverability checking techniques for (attributed) Petri nets. The development of this tool was part of the SANDS project.

At the moment Augur 2 only supports Linux as an operating system. More details are contained in the documentation and in the publications listed below.

Awards

Augur won the GraBaTs 2009 tool contest in the category "Verification".

Maintainer

Augur 2 is currently maintained by Barbara König. Previously, the tool was also maintained by Vitaly Kozyura.

Publications

• A list of publications describing the underlying verification techniques.

Augur2.tgz Augur 2 + GUI (Source code)

doc_augur_2.pdf Documentation

gui.pdf GUI documentation

agg.pdf Connection to AGG

• List of examples