Login / Signup
satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution).
Gérard Basler
Alastair F. Donaldson
Alexander Kaiser
Daniel Kroening
Michael Tautschnig
Thomas Wahl
Published in:
TACAS (2012)
Keyphrases
</>
computer programs
database
answer sets
control flow
control program
real time
information retrieval
similarity measure
relational databases