现代电子技术2019，Vol.42Issue(12)：57-61,5.DOI:10.16652/j.issn.1004-373x.2019.12.014
基于CSP的多线程自动建模及死锁检测研究
Research on multithreaded automatic modeling and deadlock detection based on CSP
摘要
关键词
多线程建模/死锁检测/语义转换/形式化验证/通信顺序进程/过程分析分类
信息技术与安全科学引用本文复制引用
高飞,武淑红,王耀力..基于CSP的多线程自动建模及死锁检测研究[J].现代电子技术,2019,42(12):57-61,5.基金项目
全国工程专业学位研究生教育指导委员会立项项目(2016-ZX-095) （2016-ZX-095）
山西省应用基础研究项目(201801D121141) （201801D121141）
