The Spotlight Principle

DOI10.1007/978-3-540-69738-1_13zbMath1132.68484OpenAlexW2153604631MaRDI QIDQ5452606

Bernd Westphal, Björn Wachter

Publication date: 4 April 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-69738-1_13

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 (4)

Mind the Shapes: Abstraction Refinement Via Topology Invariants ⋮ Compositional Abstraction in Real-Time Model Checking ⋮ Multi-parameterised compositional verification of safety properties ⋮ 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
• Control and data abstraction: The cornerstones of practical formal verification
• Formal verification of complex coherence protocols using symbolic state models
• Reasoning about systems with many processes
• A new solution of Dijkstra's concurrent programming problem
• Verifying safety properties of concurrent Java programs using 3-valued logic
• Computer Aided Verification
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Verification, Model Checking, and Abstract Interpretation
• Formal Methods for Components and Objects
• Static Analysis
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: The Spotlight Principle