Model Based Code Verification.

Colin O'Halloran

Published in: ICFEM (2003)

Keyphrases

data driven
source code
face verification
genetic algorithm
byte code
symbolic execution
fully functional
java bytecode
real time
concurrent systems
person identification
java card
code generation
formal methods
virtual machine
model checking
distributed systems
high level
website
information retrieval