A Temporal Graph Logic for Verification of Graph Transformation Systems

DOI10.1007/978-3-540-71998-4_1MaRDI QIDQ3591071zbMATH OpenOpenAlexWikidataFDO

Authors Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch Lafuente

Publication date 10 September 2007

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71998-4_1

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2090850
• Verifying a behavioural logic for graph transformation systems
• scientific article; zbMATH DE number 1504838
• Verification of graph grammars using a logical approach
• Verifying graph transformation systems with description logics

Cited in

(17)

• A Modal-Logic Based Graph Abstraction
• Temporal Graph Queries to Support Software Evolution
• Automated deduction in a graphical temporal logic
• Metric temporal graph logic over typed attributed graphs
• Reasoning with graph constraints
• scientific article; zbMATH DE number 2016071 (Why is no real title available?)
• A Logic of Graph Constraints
• Reachability analysis of reversal-bounded automata on series-parallel graphs
• Explicit State Model Checking for Graph Grammars
• scientific article; zbMATH DE number 2090850 (Why is no real title available?)
• Specification and verification of a linear-time temporal logic for graph transformation
• scientific article; zbMATH DE number 1504838 (Why is no real title available?)
• A framework for the verification of infinite-state graph transformation systems
• Verifying a behavioural logic for graph transformation systems
• Reachability analysis of reversal-bounded automata on series-parallel graphs
• Verifying graph transformation systems with description logics
• A presheaf semantics for quantified temporal logics

This page was built for publication: A Temporal Graph Logic for Verification of Graph Transformation Systems

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