Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors.

Liana Hadarean Clark W. Barrett Andrew Reynolds Cesare Tinelli Morgan Deters

Published in: LPAR (2015)

Keyphrases

fine grained
bit vectors
coarse grained
fixed width
access control
databases
bit vector
data lineage