Sign in

Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract).

Burak EkiciArjun ViswanathanYoni ZoharClark W. BarrettCesare Tinelli
Published in: PxTP (2019)
Keyphrases
  • extended abstract
  • bit vector
  • sufficient conditions
  • bit vectors
  • binary images
  • databases
  • theorem prover
  • neural network
  • data mining
  • learning algorithm
  • decision making
  • formal methods