I/O Efficient Directed Model Checking
Abstract elided by the publisher.
Related papers
- Property Directed Reachability with Extended Resolution CAV 2025
- Transition-Based Directed Model Checking TACAS 2009
- The Causal Graph Revisited for Directed Model Checking SAS 2009
- Higher-Order Model Checking in Direct Style APLAS 2016
- Parallel External Directed Model Checking with Linear I/O VMCAI 2006
- Fast Directed Model Checking Via Russian Doll Abstraction TACAS 2008
- Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking TACAS 2007
- Software model-checking as cyclic-proof search POPL 2022