Trace-Driven Verification of Multithreaded Programs.

Zijiang Yang Karem A. Sakallah

Published in: ICFEM (2010)

Keyphrases

hardware designs
symbolic execution
formal verification
multi user
face verification
automatic programming
face recognition
model checking
formal methods
provably correct
virtual environment
computational power
computer programs
signature verification
control structures
false acceptance