Modular Model Checking of Software
No abstract available.
Related papers
- Efficient modular glass box software model checking OOPSLA 2010
- SvLibChecker: A Light-Weight Tool for Software Model Checking CAV 2026
- Efficient Modular SMT-Based Model Checking of Pointer Programs SAS 2022
- MOCHA: Modularity in Model Checking CAV 1998
- Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers CAV 2022
- Modular control-flow integrity PLDI 2014
- Model Checking and Modular Verification TOPLAS 1994
- Parallelizing top-down interprocedural analyses PLDI 2012