Partial-Order Model Checking: A Guide for the Perplexed
No abstract available.
DOI 10.1007/3-540-55179-4_31
Related papers
- Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking VMCAI 2022
- Advanced module systems: a guide for the perplexed (abstract of invited talk) ICFP 2000
- Combining Partial Order Reductions with On-the-fly Model-Checking CAV 1994
- Efficient Model Checking for LTL with Partial Order Snapshots TACAS 2006
- Partial Orders for Efficient Bounded Model Checking of Concurrent Software CAV 2013
- SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata TACAS 2010
- Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors CAV 2004
- Formal Verification of a Partial-Order Reduction Technique for Model Checking TACAS 1996