A Cooperative Parallelization Approach for Property-Directed k-Induction
Abstract elided by the publisher.
Related papers
- Folding left and right matters: Direct style, accumulators, and continuations JFP 2023
- Speculations: providing fault-tolerance and improving performance of parallel applications PPoPP 2007
- Competitive parallelism: getting your priorities right ICFP 2018
- Property Directed Reachability with Extended Resolution CAV 2025
- BUBAAK: Dynamic Cooperative Verification - (Competition Contribution) TACAS 2025
- Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns ECOOP 2014
- Programming the FlexRAM parallel intelligent memory system PPoPP 2003
- Responsive parallel computation: bridging competitive and cooperative threading PLDI 2017