TY - JOUR AU - Lemor Jr., Luiz Carlos AU - Cavalheiro, Simone André da Costa AU - Foss, Luciana PY - 2015/05/18 Y2 - 2024/03/28 TI - Proof Tactics for Theorem Proving Graph Grammars through Rodin JF - Revista de Informática Teórica e Aplicada JA - RITA VL - 22 IS - 1 SE - Melhores Artigos WEIT-2013 DO - 10.22456/2175-2745.50383 UR - https://seer.ufrgs.br/index.php/rita/article/view/RITA-VOL22-NR1-190 SP - 190-241 AB - <p style="-qt-block-indent: 0; text-indent: 0px; -qt-user-state: 0; margin: 0px;">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. One of the disadvantages of theorem proving graph grammars (and theorem proving in general) is the specific mathematical knowledge required from the user for concluding the proofs. Previous works have proposed proof strategies to help the developer in the verification process when adopting such approach, firstly establishing proof tactics for some properties and after proposing a visual representation for them. This paper extends the set of proposed tactics, with the aim of expanding the available strategies and encouraging the use of such a technique.</p> ER -