Peephole Partial Order Reduction

DOI10.1007/978-3-540-78800-3_29MaRDI QIDQ5458339zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
• Dynamic partial-order reduction for model checking software
• Dynamic reductions for model checking concurrent software
• Transparent partial order reduction
• scientific article; zbMATH DE number 1507206

Cited in

(12)

• Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
• 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
• Actor-based model checking for software-defined networks
• Goal-driven unfolding of Petri nets
• 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

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)