The Spotlight Principle
From MaRDI portal
Publication:5452606
DOI10.1007/978-3-540-69738-1_13zbMATH Open1132.68484OpenAlexW2153604631MaRDI QIDQ5452606FDOQ5452606
Authors: Björn Wachter, Bernd Westphal 
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
Recommendations
- A framework for analysing state-abstraction methods
- scientific article; zbMATH DE number 4011914
- On the Unification of Process Semantics: Observational Semantics
- Abstract state machines and the inquiry process
- Loop summarization using state and transition invariants
- Abstract state machines: a unifying view of models of computation and of system design frameworks
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Reasoning about systems with many processes
- Verification, Model Checking, and Abstract Interpretation
- A new solution of Dijkstra's concurrent programming problem
- Verifying safety properties of concurrent Java programs using 3-valued logic
- Verification, Model Checking, and Abstract Interpretation
- Static Analysis
- Title not available (Why is that?)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- An approach to automating the verification of compact parallel coordination programs. I
- Computer Aided Verification
- Control and data abstraction: The cornerstones of practical formal verification
- Formal verification of complex coherence protocols using symbolic state models
- Live and let die: LSC-based verification of UML-models.
Cited In (4)
This page was built for publication: The Spotlight Principle
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5452606)
