Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique

DOI10.1007/978-3-642-02658-4_31zbMath1242.68166OpenAlexW1549714654MaRDI QIDQ3636875

Aarti Gupta, Chao Wang, Vineet Kahlon

Publication date: 30 June 2009

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02658-4_31

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (9)

Partial Order Reduction for Deep Bug Finding in Synchronous Hardware ⋮ Partial-Order Reduction ⋮ SAT-Based Model Checking ⋮ Model Checking Concurrent Programs ⋮ Dynamic Reductions for Model Checking Concurrent Software ⋮ Symbolic predictive analysis for concurrent programs ⋮ Exploiting step semantics for efficient bounded model checking of asynchronous systems ⋮ Folded Hasse diagrams of combined traces ⋮ Actor-based model checking for software-defined networks

This page was built for publication: Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique