A Temporal Graph Logic for Verification of Graph Transformation Systems

DOI10.1007/978-3-540-71998-4_1zbMath1196.68154OpenAlexW1507479492WikidataQ56501823 ScholiaQ56501823MaRDI QIDQ3591071

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

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

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

Related Items (6)

Explicit State Model Checking for Graph Grammars ⋮ Unnamed Item ⋮ A framework for the verification of infinite-state graph transformation systems ⋮ Reachability analysis of reversal-bounded automata on series-parallel graphs ⋮ Reasoning with graph constraints ⋮ A Logic of Graph Constraints

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