Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin

Graph grammar is a formal language suitable for the specification of distributed and concurrent systems. Theorem proving is a technique that allows the verification of systems with huge (and infinite) state space. A previous approach has proposed proof strategies to help the developer in the verification process through theorem proving, when adopting graph grammar as specification language. This paper proposes a visual representation for the proposed tactics, in order to turn them even more intuitive and user friendly.