Re3ver: Reverse and Verify - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- Threader: A Verifier for Multi-threaded Programs - (Competition Contribution) TACAS 2013
- SeaHorn: A Framework for Verifying C Programs (Competition Contribution) TACAS 2015
- SMACK+Corral: A Modular Verifier - (Competition Contribution) TACAS 2015
- HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution) TACAS 2012
- satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution) TACAS 2012
- CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution) TACAS 2015
- DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution) TACAS 2017
- Iekkë: A SAT-Based Bounded-Round Verifier for Multi-Threaded Programs (Competition Contribution) TACAS 2026