satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution).

Grard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl

Browse the full TACAS paper archive.