Efficient Model Checking by Automated Ordering of Transition Relation Partitions
Abstract elided by the publisher.
Related papers
- Temporal verification of higher-order functional programs POPL 2016
- Stateless Model Checking Under a Reads-Value-From Equivalence CAV 2021
- Types as models: model checking message-passing programs POPL 2002
- Branching Bisimulation Learning CAV 2025
- Elastor: Elastic and Efficient Model Partitioning and Checkpointing for Fault-Tolerant Distributed Training PPoPP 2026
- Decision Procedures for Automating Termination Proofs VMCAI 2011
- Higher-Order Property-Directed Reachability ICFP 2023
- Generic top-down discrimination for sorting and partitioning in linear time JFP 2012