The Spotlight Principle
From MaRDI portal
Publication:5452606
DOI10.1007/978-3-540-69738-1_13zbMath1132.68484OpenAlexW2153604631MaRDI QIDQ5452606
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
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