<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Towards a Maude tool for model checking temporal graph properties"^^ . "We present our prototypical tool for the verification of graph transformation systems. The major novelty of our tool is that it provides a model checker for temporal graph properties based on counterpart semantics for quantified m-calculi. Our tool can be considered as an instantiation of our approach to counterpart semantics which allows for a neat handling of creation, deletion and merging in systems\r\nwith dynamic structure. Our implementation is based on the object-based machinery of Maude, which provides the basics to deal with attributed graphs. Graph transformation\r\nsystems are specified with term rewrite rules. The model checker evaluates logical formulae of second-order modal m-calculus in the automatically generated CounterpartModel (a sort of unfolded graph transition system) of the graph transformation system under study. The result of evaluating a formula is a set of assignments for each state, associating node variables to actual nodes."^^ . "2011" . . . "41" . . "Electronic Communications of the EASST"^^ . . . "18632122" . . . . . . . . . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . "Andrea"^^ . "Vandin"^^ . "Andrea Vandin"^^ . . . . "International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT’11)"^^ . . . . . "Saarbrücken, Germay"^^ . . . . . . "Towards a Maude tool for model checking temporal graph properties (PDF)"^^ . . . . . . . . . . . "Lluch-lafuente-vandin_2011.pdf"^^ . . . "Towards a Maude tool for model checking temporal graph properties (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "Towards a Maude tool for model checking temporal graph properties (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . . "Towards a Maude tool for model checking temporal graph properties (PDF)"^^ . . . . . "Lafuente_Vandin_2011.pdf"^^ . . . "Towards a Maude tool for model checking temporal graph properties (Image (PNG))"^^ . . . . . . "lightbox.jpg"^^ . . . "Towards a Maude tool for model checking temporal graph properties (Image (PNG))"^^ . . . . . . "preview.jpg"^^ . . . "Towards a Maude tool for model checking temporal graph properties (Image (PNG))"^^ . . . . . . "medium.jpg"^^ . . . "Towards a Maude tool for model checking temporal graph properties (Image (PNG))"^^ . . . . . . "small.jpg"^^ . . . "Towards a Maude tool for model checking temporal graph properties (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #860 \n\nTowards a Maude tool for model checking temporal graph properties\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .