A fully abstract model for graph-interpreted temporal logic

DOI10.1007/978-3-540-46464-8_22MaRDI QIDQ4502817zbMATH OpenFDO

Authors Fabio Gadducci, R. Heckel, Manuel Koch

Publication date 12 September 2000

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-46464-8_22

zbMATH Keywords

graph transition systemsgraph-interpreted temporal logicgraphical constraintsspecificationverification

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A Temporal Graph Logic for Verification of Graph Transformation Systems
• A Modal-Logic Based Graph Abstraction
• Automated deduction in a graphical temporal logic
• Graph theoretic models for reasoning about time
• Timed Temporal Logics for Abstracting Transient States
• Constraint-based abstract semantics for temporal logic: a direct approach to design and implementation
• Model checking for event graphs and an event temporal logic
• Integrating the specification techniques of graph transformation and temporal logic
• Metric temporal graph logic over typed attributed graphs

Cited in

(11)

• A game theoretic approach to the analysis of dynamic networks
• A Temporal Graph Logic for Verification of Graph Transformation Systems
• Connectivity games over dynamic networks
• scientific article; zbMATH DE number 1231502 (Why is no real title available?)
• Integrating the specification techniques of graph transformation and temporal logic
• Automated deduction in a graphical temporal logic
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Visual Modeling of Distributed Object Systems by Graph Transformation
• Metric temporal graph logic over typed attributed graphs
• Specification and verification of a linear-time temporal logic for graph transformation
• A framework for the verification of infinite-state graph transformation systems

This page was built for publication: A fully abstract model for graph-interpreted temporal logic

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