Lost in abstraction: monotonicity in multi-threaded programs
DOI10.1016/j.ic.2016.03.003zbMath1355.68055OpenAlexW2293697645MaRDI QIDQ729809
Daniel Kroening, Thomas Wahl, Alexander D. Kaiser
Publication date: 22 December 2016
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2016.03.003
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Counterexample-guided abstraction refinement for symmetric concurrent programs
- Verification of Boolean programs with unbounded thread creation
- Efficient Coverability Analysis by Proof Minimization
- All for the Price of Few
- Inductive data flow graphs
- Verification of parameterized concurrent programs by modular reasoning about data and control
- Well (and Better) Quasi-Ordered Transition Systems
- Lossy Counter Machines Decidability Cheat Sheet
- Reasoning about systems with many processes
- Monotonic Abstraction in Parameterized Verification
- Predicate abstraction for software verification
- Predicate abstraction and refinement for verifying multi-threaded programs
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Verification, Model Checking, and Abstract Interpretation
- Well-structured transition systems everywhere!
This page was built for publication: Lost in abstraction: monotonicity in multi-threaded programs
