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

DOI10.1007/978-3-642-02658-4_31MaRDI QIDQ3636875zbMATH OpenOpenAlexFDO

Authors Vineet Kahlon, Chao Wang, Aarti Gupta

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)

Recommendations

• Peephole Partial Order Reduction
• Dynamic partial-order reduction for model checking software
• Quasi-optimal partial order reduction
• Quasi-optimal partial order reduction
• Optimal dynamic partial order reduction

Cited in

(17)

• Actor-based model checking for software-defined networks
• Quasi-optimal partial order reduction
• Symbolic partial-order execution for testing multi-threaded programs
• Folded Hasse diagrams of combined traces
• Hybrid analysis for partial order reduction of programs with arrays
• Dynamic reductions for model checking concurrent software
• Partial-Order Reduction
• SAT-Based Model Checking
• Model checking concurrent programs
• Symbolic predictive analysis for concurrent programs
• Exploiting step semantics for efficient bounded model checking of asynchronous systems
• Partial order reduction for deep bug finding in synchronous hardware
• Peephole Partial Order Reduction
• Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions
• A pragmatic approach to stateful partial order reduction
• Partial-order reduction is hard
• Optimal concolic dynamic partial order reduction

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3636875)