satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution)
No abstract available.
Related papers
- FrankenBit: Bit-Precise Verification with Many Bits - (Competition Contribution) TACAS 2014
- 2LS: Memory Safety and Non-termination - (Competition Contribution) TACAS 2018
- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) TACAS 2021
- AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution) TACAS 2024
- PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution) TACAS 2019
- CPAchecker 2.3 with Strategy Selection - (Competition Contribution) TACAS 2024
- Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution) TACAS 2024
- Mopsa-C with Trace Partitioning and Autosuggestions (Competition Contribution) TACAS 2025