Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic

DOI10.1007/978-3-030-51372-6_16zbMATH Open1502.68186OpenAlexW3037345683MaRDI QIDQ5100739FDOQ5100739

Lucas Sakizloglou, Holger Giese, Maria Maximova, Sven Schneider

Publication date: 1 September 2022

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-51372-6_16

zbMATH Keywords

three-valued logicruntime monitoringgraph logic with bindingnonpropositional metric temporal logic

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70)

Cites Work

• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• A brief account of runtime verification
• Correctness of high-level transformation systems relative to nested conditions
• Fundamentals of algebraic graph transformation
• Delaying Constraint Solving in Symbolic Graph Transformation
• Symbolic graphs for attributed graph constraints
• Monitoring metric first-order temporal properties
• k-Inductive Invariant Checking for Graph Transformation Systems
• Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions
• Lazy graph transformation
• Probabilistic timed graph transformation systems
• Fundamental approaches to software engineering. 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6--11, 2019. Proceedings

Cited In (5)

• Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
• Probabilistic Metric Temporal Graph Logic
• Compositional analysis of probabilistic timed graph transformation systems
• Compositional analysis of probabilistic timed graph transformation systems
• Specification and verification of a linear-time temporal logic for graph transformation

Uses Software

• GitHub

This page was built for publication: Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic

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