Bounded Model Checking of Graph Transformation Systems via SMT Solving.

Tobias Isenberg, Dominik Steenken, Heike Wehrheim

Browse the full FORTE paper archive.