C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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