The Verification of Compiled Code.

T. Jennings P. Taylor

Published in: SAFECOMP (1995)

Keyphrases

model checking
source code
face verification
symbolic execution
signature verification
programs written
fully functional
concurrent systems
computer vision
information systems
code generation
error correcting
verification method
byte code