Skip to main content

DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution)

Williame Rocha, Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Bernd Fischer

Full text DOI 10.1007/978-3-662-54580-5_23 dblp BibTeX

Abstract elided by the publisher.

Related papers

ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution) TACAS 2019
Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution) TACAS 2020
2LS: Memory Safety and Non-termination - (Competition Contribution) TACAS 2018
Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution) TACAS 2022
GACAL: Conjecture-Based Verification - (Competition Contribution) TACAS 2020
CPAchecker 4.0 as Witness Validator - (Competition Contribution) TACAS 2025
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants TACAS 2023
Inductive invariant generation via abductive inference OOPSLA 2013