Partial Order Reduction for Event-Driven Multi-threaded Programs
No abstract available.
Related papers
- Symbolic Partial-Order Execution for Testing Multi-Threaded Programs CAV 2020
- Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate VMCAI 2022
- Stateless model checking of event-driven applications OOPSLA 2015
- ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution) TACAS 2025
- Dynamic partial-order reduction for model checking software POPL 2005
- Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking VMCAI 2022
- Effective race detection for event-driven programs OOPSLA 2013
- Parsimonious Optimal Dynamic Partial Order Reduction CAV 2024