Sign in

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

Liana HadareanClark W. BarrettAndrew ReynoldsCesare TinelliMorgan Deters
Published in: LPAR (2015)
Keyphrases
  • fine grained
  • bit vectors
  • coarse grained
  • fixed width
  • access control
  • databases
  • bit vector
  • data lineage