Bild mit Unilogo
homeicon university sucheicon search siteicon sitemap kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Institute of Formal Methods in Computer Science

Augur - An unfolding-based verification tool for GTS

 

This page is no longer being maintained. The maintainers of the Augur tool have moved to the University of Duisburg-Essen and the new tool page can be found here.

Overview

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

The current version of the tool is a prototype with some limitations. More details are contained in the documentation and in the publications listed below.

Downloads

Examples

Publications

Contact

Augur is currently maintained by Vitali Kozioura and Barbara König. Please contact us if you should have any problems.

Changes

  • 16.12.2004: Version 1.0, initial release of the tool
  • 20.05.2005: Abstraction Refinement module is added
  • 11.11.2005: Version 1.1 with some bug-fixing is on the web. Also example scripts and augur-convert script have been added.

Links

  • Project SANDS (Static Analysis of Dynamically Evolving Systems)