Static Analysis of Dynamic Communication Systems by Partner Abstraction
From MaRDI portal
Publication:3612006
DOI10.1007/978-3-540-74061-2_16zbMath1211.68243MaRDI QIDQ3612006
Publication date: 3 March 2009
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74061-2_16
68Q60: Specification and verification (program logics, model checking, etc.)
68Q42: Grammars and rewriting systems
Related Items
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols, The Edge of Graph Transformation — Graphs for Behavioural Specification, Sound and Complete Abstract Graph Transformation, Mind the Shapes: Abstraction Refinement Via Topology Invariants, Towards the Verification of Attributed Graph Transformation Systems