Vi beskriver konstruktionen och det nuvarande läget för verifieringsverktyget Augur 2 som för närvarande håller på att utvecklas. Det är baserat på Augur 1, ett verktyg som kan analysera graf transformationssystem genom att approximera dem av Petri nät. Huvudorsaken till den nya utvecklingen var att skapa en öppen, flexibel och extensibel verifieringsmiljö. Också, jämfört med den tidigare versionen, Augur 2 kommer att innehålla mer funktionalitet och nya analystekniker.
Augur REF är ett analysverktyg baserat på översättning av graftransformationer till Petri nät och tillämpning av Petri nätanalys tekniker.
Augur 2 -- a new version of a tool for the analysis of graph transformation systems
{'venue': 'IN PROC. WORKSHOP ON GRAPH TRANSFORMATION AND VISUAL MODELING TECHNIQUES (GT-VMT’06), ENTCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}