[IEEE 2015 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2015.9.27-2015.9.30)] 2015 Formal Methods in Computer-Aided Design (FMCAD) - Pattern-based synthesis of synchronization for the C++ memory model
Meshman, Yuri, Rinetzky, Noam, Yahav, EranYear:
2015
Language:
english
DOI:
10.1109/fmcad.2015.7542261
File:
PDF, 1.26 MB
english, 2015