Peephole Partial Order Reduction
From MaRDI portal
Publication:5458339
DOI10.1007/978-3-540-78800-3_29zbMath1134.68421OpenAlexW1850312962MaRDI QIDQ5458339
Vineet Kahlon, Zi-Jiang Yang, Chao Wang, 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
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (11)
Partial Order Reduction for Deep Bug Finding in Synchronous Hardware ⋮ 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 ⋮ Synthesizing precise and useful commutativity conditions ⋮ Boosting Lazy Abstraction for SystemC with Partial Order Reduction ⋮ Actor-based model checking for software-defined networks ⋮ Unnamed Item ⋮ Quasi-optimal partial order reduction ⋮ Using automated reasoning techniques for enhancing the efficiency and security of (Ethereum) smart contracts
This page was built for publication: Peephole Partial Order Reduction
