Verification of Graph Transformation Systems with Context-Free Specifications

DOI10.1007/978-3-642-15928-2_8zbMath1306.68079OpenAlexW1608079957MaRDI QIDQ4931307

Javier Esparza, Barbara König

Publication date: 4 October 2010

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

Full work available at URL: https://doi.org/10.1007/978-3-642-15928-2_8

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (3)

Unnamed Item ⋮ Monadic second-order incorrectness logic for GP 2 ⋮ Incorrectness logic for graph programs

This page was built for publication: Verification of Graph Transformation Systems with Context-Free Specifications