LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution)
No abstract available.
Related papers
- Map2Check Using LLVM and KLEE - (Competition Contribution) TACAS 2018
- LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution) TACAS 2012
- LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution) TACAS 2013
- Hornix: From LLVM IR to Constrained Horn Clauses and Back (Competition Contribution) TACAS 2026
- Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution) TACAS 2017
- Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution) TACAS 2021
- EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution) TACAS 2025
- Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution) TACAS 2020