Mind the Shapes: Abstraction Refinement Via Topology Invariants
From MaRDI portal
Publication:3510783
DOI10.1007/978-3-540-75596-8_5zbMath1141.68450OpenAlexW1499500029MaRDI QIDQ3510783
Tobe Toben, Jörg Bauer, Bernd Westphal
Publication date: 3 July 2008
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-75596-8_5
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Mind the Shapes: Abstraction Refinement Via Topology Invariants ⋮ Can we build it: formal synthesis of control strategies for cooperative driver assistance systems
Cites Work
- Unnamed Item
- Unnamed Item
- An approach to automating the verification of compact parallel coordination programs. I
- A methodology for hardware verification using compositional model checking
- Live and let die: LSC based verification of UML models
- Mind the Shapes: Abstraction Refinement Via Topology Invariants
- Static Analysis of Dynamic Communication Systems by Partner Abstraction
- On Communicating Finite-State Machines
- CONCUR 2004 - Concurrency Theory
- The Spotlight Principle
- Verification, Model Checking, and Abstract Interpretation
This page was built for publication: Mind the Shapes: Abstraction Refinement Via Topology Invariants