Explicit State Model Checking for Graph Grammars

DOI10.1007/978-3-540-68679-8_8zbMath1143.68462MaRDI QIDQ3507360

Arend Rensink

Publication date: 19 June 2008

Published in: Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68679-8_8

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q42: Grammars and rewriting systems

Related Items

Translating controlled graph grammars to ordinary graph grammars, Modeling dynamic reconfigurations in Reo using high-level replacement systems, Reachability analysis of reversal-bounded automata on series-parallel graphs, Multilevel coupled model transformations for precise and reusable definition of model behaviour, A general framework for types in graph rewriting, Modeling and Verifying Graph Transformations in Proof Assistants, Reachability in Graph Transformation Systems and Slice Languages, Extended Triple Graph Grammars with Efficient and Compatible Graph Translators, Workshop on Petri Nets and Graph Transformations

Uses Software

• BLAST
• GROOVE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic approach to single-pushout graph transformation
• Fundamentals of algebraic graph transformation
• Termination Criteria for DPO Transformations with Injective Matches
• Formal Verification of Object-Oriented Graph Grammars Specifications
• Satisfiability of High-Level Conditions
• A Temporal Graph Logic for Verification of Graph Transformation Systems
• Handbook of Graph Grammars and Computing by Graph Transformation
• Defining Object-Oriented Execution Semantics Using Graph Transformations
• Graph Transformations
• Foundations of Software Science and Computation Structures
• Foundations of Software Science and Computation Structures
• Programming Languages and Systems
• CONCUR 2004 - Concurrency Theory
• Model Checking Quantified Computation Tree Logic
• Tools and Algorithms for the Construction and Analysis of Systems