Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking
Abstract elided by the publisher.
Related papers
- Action-Based Model Checking: Logic, Automata, and Reduction CAV 2020
- Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate VMCAI 2022
- Model Checking ømega-Regular Properties with Decoupled Search CAV 2021
- Dynamic partial-order reduction for model checking software POPL 2005
- Efficient Model Checking for LTL with Partial Order Snapshots TACAS 2006
- What's Wrong with On-the-Fly Partial Order Reduction CAV 2019
- Stateless model checking of event-driven applications OOPSLA 2015
- SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata TACAS 2010