Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction

DOI10.1007/978-3-031-09843-7_10zbMath1514.68093MaRDI QIDQ6487310

Maria Maximova, Sven Schneider, Holger Giese

Publication date: 7 December 2022

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items (1)

Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic

This page was built for publication: Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction