Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution).

Frank Schssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski

Browse the full TACAS paper archive.