Hector: Software Model Checking with Cooperating Analysis Plugins
No abstract available.
Related papers
- Hector: An Equivalence Checker for a Higher-Order Fragment of ML CAV 2012
- Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM TACAS 2025
- Exploiting Pointer Analysis in Memory Models for Deductive Verification VMCAI 2019
- Parallel and distributed bounded model checking of multi-threaded programs PPoPP 2020
- Cooperative reasoning for preemptive execution PPoPP 2011
- Software Analysis and Model Checking CAV 2002
- Static Analysis versus Software Model Checking for Bug Finding VMCAI 2004
- Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis CAV 2007