Ultimate Automizer with Two-track Proofs - (Competition Contribution).

Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schtzle, Andreas Podelski

Browse the full TACAS paper archive.