Transparent partial order reduction

DOI10.1007/s10703-011-0126-0zbMath1255.68097OpenAlexW2171778720MaRDI QIDQ453518

Stephen F. Siegel

Publication date: 27 September 2012

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-011-0126-0

zbMATH Keywords

formal verificationmodel checkingstate space explosion

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)

Uses Software

• MPI

Cites Work

• Unnamed Item
• A stubborn attack on state explosion
• Question-guided stubborn set methods for state properties
• Combining partial-order reductions with on-the-fly model-checking.
• Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Verification, Model Checking, and Abstract Interpretation
• Relaxed visibility enhances partial order reduction