Implementing and Evaluating Candidate-Based Invariant Generation
Implementing and Evaluating Candidate-Based Invariant Generation
复制标题
实现和评估基于候选的不变生成
DOI：
10.1109/tse.2017.2718516
复制
发表时间：
2018
影响因子：
7.4
通讯作者：
Betts A
中科院分区：
文献类型：
--
作者：
Betts A
登录
查看更多内容
影响因子：
1.3
作者：
Betts A
通讯作者：
Betts A
PostHat 及所有这些：自动化抽象解释
DOI：
--
发表时间：
2015
期刊：
TAPAS@SAS
影响因子：
--
作者：
Aditya V. Thakur;A. Lal;Junghee Lim;T. Reps
通讯作者：
T. Reps
使用无干扰检查 SPMD 程序的等价性
影响因子：
0.8
作者：
S. Tripakis;C. Stergiou;Roberto Lublinerman
通讯作者：
Roberto Lublinerman
GPGPU程序的规范和验证
DOI：
10.1016/j.scico.2014.03.013
发表时间：
2013
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
S. Blom;M. Huisman;M. Mihelčić
通讯作者：
M. Mihelčić
Symbooglix：Boogie 程序的符号执行引擎
DOI：
10.1109/icst.2016.11
发表时间：
2016
期刊：
2016 IEEE International Conference on Software Testing, Verification and Validation (ICST)
影响因子：
--
作者：
D. Liew;Cristian Cadar;Alastair F. Donaldson
通讯作者：
Alastair F. Donaldson