A Modal-Logic Based Graph Abstraction

DOI10.1007/978-3-540-87405-8_22MaRDI QIDQ3540408zbMATH OpenOpenAlexFDO

Authors J. Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink

Publication date 20 November 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Pattern-Based Graph Abstraction
• Sound and complete abstract graph transformation
• Abstract graph transformation
• A Temporal Graph Logic for Verification of Graph Transformation Systems
• scientific article; zbMATH DE number 2090850

Cited in

(12)

• The Edge of Graph Transformation — Graphs for Behavioural Specification
• Analysis of infinite-state graph transformation systems by cluster abstraction
• Formal verification of invariants for attributed graph transformation systems based on nested attributed graph conditions
• A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting
• On a graph approach to modal logics
• scientific article; zbMATH DE number 2020180 (Why is no real title available?)
• On graph calculi for multi-modal logics
• Abstract graph transformation
• Resource graphs and countermodels in resource logics
• Sound and complete abstract graph transformation
• Exploiting over- and under-approximations for infinite-state counterpart models
• scientific article; zbMATH DE number 1504838 (Why is no real title available?)

This page was built for publication: A Modal-Logic Based Graph Abstraction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3540408)