Efficient predictive analysis for detecting nondeterminism in multi-threaded programs
Publication Year
2012
Type
Conference Paper
Conference Name
Formal Methods in Computer-Aided Design (FMCAD), 2012
Publisher
IEEE