Ultimate Automizer with SMTInterpol - (Competition Contribution).

Matthias Heizmann, Jrgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski

Browse the full TACAS paper archive.