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

Gérard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl