Specification and verification of a linear-time logic for graph transformation

Fabio Gadducci, Andrea Laretto, Davide Trotta

We present a first-order linear-time temporal logic for reasoning about the evolution of directed graphs. Its semantics is based on the counterpart paradigm, thus allowing our logi…