Boosting Lazy Abstraction for SystemC with Partial Order Reduction
No abstract available.
DOI 10.1007/978-3-642-19835-9_31
Related papers
- The lazy happens-before relation: better partial-order reduction for systematic concurrency testing PPoPP 2015
- A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract) CAV 1998
- Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions CAV 2014
- Unblocking Dynamic Partial Order Reduction CAV 2023
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems TACAS 2020
- Efficient compilation of lazy evaluation PLDI 1984
- ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution) TACAS 2025
- Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique CAV 2009