共 50 条
- [1] An Efficient and Flexible Deterministic Framework for Multithreaded Programs [J]. Journal of Computer Science and Technology, 2015, 30 : 42 - 56
- [5] Security of multithreaded programs by compilation [J]. COMPUTER SECURITY - ESORICS 2007, PROCEEDINGS, 2007, 4734 : 2 - +
- [6] CARET Analysis of Multithreaded Programs [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2017), 2018, 10855 : 73 - 90
- [9] Modular verification of multithreaded programs [J]. THEORETICAL COMPUTER SCIENCE, 2005, 338 (1-3) : 153 - 183
- [10] Taming Deadlocks in Multithreaded Programs [J]. 2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), 2013, : 276 - 279