Hornix: From LLVM IR to Constrained Horn Clauses and Back (Competition Contribution).

Martin Blicha, Jan Kofron, Oliver Glitta

Browse the full TACAS paper archive.