Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

ENTCS
2008

favoriteEmaildiscussreport

152views more ENTCS 2008»

Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems

13 years 4 months ago

Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems

Download www.ti.inf.uni-due.de

We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transformation systems by approximating them by Petri nets. The main reason for the new development was to create an open, flexible and extensible verification environment. Also, compared to the previous version, Augur 2 will include more functionality and new analysis techniques.

Barbara König, Vitali Kozioura

Real-time Traffic

Augur | ENTCS 2008 | Graph Transformation Systems | Verification Tool Augur |

claim paper

Related Content

» Linearly Homomorphic Signatures over Binary Fields and New Tools for LatticeBased Signatur...

» PCA2GO a new multivariate statistics based method to identify highly expressed GOTerms

» Xprobe2 Low volume remote network information gathering tool

» ModelDriven Development of Model Transformations

» Making the Common Case the Only Case with Anticipatory Memory Allocation

» Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting

» SNPRFLPing 2 an updated and integrated PCRRFLP tool for SNP genotyping

» Exploratory Analysis of CoChange Graphs for Code Refactoring

» Solving MAXrSAT Above a Tight Lower Bound

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	ENTCS
Authors	Barbara König, Vitali Kozioura

Comments (0)