Sthread: In-Vivo Model Checking of Multithreaded Programs
Sthread: In-Vivo Model Checking of Multithreaded Programs
复制标题
Sthread：多线程程序的体内模型检查
DOI：
10.22152/programming-journal.org/2020/4/13
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Quinson, Martin
中科院分区：
文献类型：
--
作者：
Cooperman, Gene;Quinson, Martin
登录
查看更多内容
DiVinE 多核
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
J. Barnat;L. Brim;P. Ročkai
通讯作者：
P. Ročkai
DiVinE 多核 - 并行 LTL 模型检查器
DOI：
--
发表时间：
2008
期刊：
Automated Technology for Verification and Analysis
影响因子：
--
作者：
J. Barnat;L. Brim;P. Ročkai
通讯作者：
P. Ročkai
用于模型检查的 LLVM 转换
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
V. Still
通讯作者：
V. Still
基于模型检查的软件模型验证方法分类
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
Sebastian Gabmeyer;Petra Brosch;M. Seidl
通讯作者：
M. Seidl
SimGrid：大规模分布式系统多功能仿真的持续努力
DOI：
--
发表时间：
2013
期刊：
arXiv.org
影响因子：
--
作者：
H. Casanova;Arnaud Giersch;Arnaud Legrand;M. Quinson;F. Suter
通讯作者：
F. Suter