Explicit State Model Checking for Graph Grammars

DOI10.1007/978-3-540-68679-8_8zbMath1143.68462OpenAlexW2102697873MaRDI 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

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items

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

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

This page was built for publication: Explicit State Model Checking for Graph Grammars