Instrumentation of Intermediate Code for Runtime Verification.

Ann Q. Gates Oscar Mondragon Mary Payne Steve Roach

Published in: SEW (2003)

Keyphrases

source code
model checking
formal verification
symbolic execution
formal methods
verification method
image sequences
video sequences
distributed systems
data acquisition
face verification
person identification
asynchronous circuits
concurrent systems