The Spotlight Principle

DOI10.1007/978-3-540-69738-1_13MaRDI QIDQ5452606zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 1617328 (Why is no real title available?)
• scientific article; zbMATH DE number 1956555 (Why is no real title available?)
• A new solution of Dijkstra's concurrent programming problem
• 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
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Formal verification of complex coherence protocols using symbolic state models
• Live and let die: LSC-based verification of UML-models.
• Reasoning about systems with many processes
• Static Analysis
• Verification, Model Checking, and Abstract Interpretation
• Verification, Model Checking, and Abstract Interpretation
• Verifying safety properties of concurrent Java programs using 3-valued logic

Cited in

(4)

• Compositional Abstraction in Real-Time Model Checking
• Can we build it: formal synthesis of control strategies for cooperative driver assistance systems
• Multi-parameterised compositional verification of safety properties
• Mind the Shapes: Abstraction Refinement Via Topology Invariants

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)