Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution).

Zsfia dm, Gyula Sallai, kos Hajdu

Browse the full TACAS paper archive.