Experimental Analysis of Different Techniques for Bounded Model Checking
Abstract elided by the publisher.
Related papers
- Parallel and distributed bounded model checking of multi-threaded programs PPoPP 2020
- KoAT: Automatic Complexity and Termination Analysis of Integer Programs CAV 2026
- Finding Provably Optimal Markov Chains TACAS 2021
- Transition Power Abstractions for Deep Counterexample Detection TACAS 2022
- JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode CAV 2018
- Efficient Loop Conditions for Bounded Model Checking Hyperproperties TACAS 2023
- Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution) TACAS 2020
- A Fresh Look at Optimizing Array Bound Checking PLDI 1990