VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq
复制标题
VeriSmart 2.0：使用 Lazy-CSeq 进行基于群的多线程程序错误查找
DOI：
10.1109/ase.2019.00124
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Fischer B
中科院分区：
文献类型：
--
作者：
Fischer B
登录
查看更多内容
SiCoTHEO：简单竞争性并行定理证明者
DOI：
--
发表时间：
1996
期刊：
CADE
影响因子：
--
作者：
J. Schumann
通讯作者：
J. Schumann
解决 SMT 问题的并行组合方法
DOI：
--
发表时间：
2009
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
C. Wintersteiger;Y. Hamadi;L. D. Moura
通讯作者：
L. D. Moura
集群的并行 SAT 求解器
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
K. Ohmura;K. Ueda
通讯作者：
K. Ueda
基于集群的大型系统零担模型检查
DOI：
--
发表时间：
2005
期刊：
Formal Methods for Components and Objects
影响因子：
--
作者：
J. Barnat;L. Brim;I. Cerná
通讯作者：
I. Cerná
DOI：
--
发表时间：
2016
期刊：
International Conference on Verification, Model Checking and Abstract Interpretation
影响因子：
--
作者：
G. Holzmann
通讯作者：
G. Holzmann