Pattern-Based Verification for Multithreaded Programs.

Javier Esparza Pierre Ganty Tomás Poch

Published in: ACM Trans. Program. Lang. Syst. (2014)

Keyphrases

symbolic execution
hardware designs
model checking
formal methods
multi user
computer programs
face verification
data mining
mutual exclusion
verification method
case study
java bytecode
user interface
high level
static analysis
fixpoint
signature verification
program execution
control program
machine learning