Mind the Shapes: Abstraction Refinement Via Topology Invariants

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

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)

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