Augur 2
Overview
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.
Downloads
Augur 2 + GUI (Source code) |
Documentation |
GUI documentation |
Connection to AGG |