LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution).

Olli Saarikivi, Keijo Heljanko

Browse the full TACAS paper archive.