LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution)
No abstract available.
Related papers
- LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution) TACAS 2013
- 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
- CBMC - C Bounded Model Checker - (Competition Contribution) TACAS 2014
- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution) TACAS 2019
- Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution) TACAS 2020
- LART: Compiled Abstract Execution - (Competition Contribution) TACAS 2022
- JayHorn: A Java Model Checker - (Competition Contribution) TACAS 2019