Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations

DOI10.1007/978-3-319-11439-2_6zbMath1448.68296arXiv1407.4394OpenAlexW20167454MaRDI QIDQ3447696

Jan Stückrath, Giorgio Delzanno

Publication date: 28 October 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1407.4394

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (3)

Unnamed Item ⋮ Well-structured graph transformation systems ⋮ Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker

This page was built for publication: Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations