Formal Verification of a Partial-Order Reduction Technique for Model Checking
Abstract elided by the publisher.
Related papers
- Partial Order Reductions for Security Protocol Verification TACAS 2000
- Partial Order Reduction for Deep Bug Finding in Synchronous Hardware TACAS 2020
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems TACAS 2020
- Dynamic partial order reduction for relaxed memory models PLDI 2015
- Optimal dynamic partial order reduction POPL 2014
- Dynamic partial-order reduction for model checking software POPL 2005
- Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate VMCAI 2022
- Combining Partial Order Reductions with On-the-fly Model-Checking CAV 1994