Home

Welcome to the verigraph wiki!

Verigraph is a new tool for simulating and verifying graph grammars. The tool is implemented in the purely functional programming language Haskell and it currently implements important techniques such as critical pair analysis, construction of concurrent rules from rule sequences, construction of state space from graph grammar and (currently not optimized) model checking using CTL.

The algorithms are implemented in a generic functional style, inspired by the framework of adhesive HLR systems. Most of the constructions are implemented in a very close manner to the formal definitions, which makes it easier to inspect for correctness.