Login / Signup
Formal Verification of Bit-Vector Invertibility Conditions in Coq.
Burak Ekici
Arjun Viswanathan
Yoni Zohar
Cesare Tinelli
Clark W. Barrett
Published in:
FroCoS (2023)
Keyphrases
</>
formal verification
bit vector
sufficient conditions
model checking
automated verification
bounded model checking
model checker
symbolic model checking
formal methods
binary images
theorem prover
bit vectors
neural network
reinforcement learning
color images
temporal logic