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

Burak Ekici Arjun Viswanathan Yoni Zohar Clark W. Barrett Cesare 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