Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers.

Sebastian Gabmeyer, Martina Seidl

Browse the full TAP paper archive.