MOCHA: Modularity in Model Checking
Abstract elided by the publisher.
Related papers
- Modular Model Checking of Software TACAS 1998
- Efficient Modular SMT-Based Model Checking of Pointer Programs SAS 2022
- Efficient modular glass box software model checking OOPSLA 2010
- Model Checking and Modular Verification TOPLAS 1994
- An automata-theortetic approach to modular model checking TOPLAS 2000
- Kofola 1.0: A Modular Approach to ømega-Regular Complementation and Inclusion Checking CAV 2026
- The Golem Horn Solver CAV 2023
- Sufficient Preconditions for Modular Assertion Checking VMCAI 2008