Login / Signup
Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB - (Short Paper).
Ramana Kumar
Eric Mullen
Zachary Tatlock
Magnus O. Myreen
Published in:
ITP (2018)
Keyphrases
</>
binary codes
hamming distance
computer vision
image processing
pattern recognition
gray code