共 50 条
- [1] Dynamic Verification for File Safety of Multithreaded Programs [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2012, 12 (05): : 14 - 20
- [3] Security of multithreaded programs by compilation [J]. COMPUTER SECURITY - ESORICS 2007, PROCEEDINGS, 2007, 4734 : 2 - +
- [4] CARET Analysis of Multithreaded Programs [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2017), 2018, 10855 : 73 - 90
- [6] Modular verification of multithreaded programs [J]. THEORETICAL COMPUTER SCIENCE, 2005, 338 (1-3) : 153 - 183
- [7] Taming Deadlocks in Multithreaded Programs [J]. 2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), 2013, : 276 - 279
- [8] Opportunistic Monitoring of Multithreaded Programs [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2023, 2023, 13991 : 173 - 194