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

Downloads

Augur2.tgz

Augur 2 + GUI (Source code)

doc_augur_2.pdf

Documentation

gui.pdf

GUI documentation

agg.pdf

Connection to AGG

Examples

© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin