Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction

DOI10.1007/978-3-662-46081-8_8zbMath1432.68299OpenAlexW54190742MaRDI QIDQ5172640

Jan Reineke, Peter Backes

Publication date: 4 February 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-662-46081-8_8

zbMATH Keywords

shape analysisabstract interpretationgraph transformationparameterized verificationdistributed message-passing systems

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)

This page was built for publication: Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction