Peephole Partial Order Reduction
DOI10.1007/978-3-540-78800-3_29zbMATH Open1134.68421OpenAlexW1850312962MaRDI QIDQ5458339FDOQ5458339
Authors: Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta 
Publication date: 11 April 2008
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78800-3_29
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (12)
- Synthesizing precise and useful commutativity conditions
- Using automated reasoning techniques for enhancing the efficiency and security of (Ethereum) smart contracts
- Model checking concurrent programs
- Partial order reduction for deep bug finding in synchronous hardware
- Goal-driven unfolding of Petri nets
- Actor-based model checking for software-defined networks
- Dynamic reductions for model checking concurrent software
- Symbolic predictive analysis for concurrent programs
- Exploiting step semantics for efficient bounded model checking of asynchronous systems
- Quasi-optimal partial order reduction
- Boosting Lazy Abstraction for SystemC with Partial Order Reduction
- Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
This page was built for publication: Peephole Partial Order Reduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458339)
