Extending Model Checking with Dynamic Analysis
Abstract elided by the publisher.
Related papers
- Dynamic Reductions for Model Checking Concurrent Software VMCAI 2017
- Hybrid type checking TOPLAS 2010
- Measurement-Based Verification of Quantum Markov Chains CAV 2024
- Compositional dynamic test generation POPL 2007
- Model Checking C/C++ with Mixed-Size Accesses POPL 2025
- Model Checking Concurrent Programs VMCAI 2009
- Making the java memory model safe TOPLAS 2013
- Propositional Dynamic Logic for Higher-Order Functional Programs CAV 2018