Ultimate Automizer with Array Interpolation - (Competition Contribution).

Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski

Browse the full TACAS paper archive.