Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
复制标题
用于系统构建和分析的工具和算法
DOI：
10.1007/978-3-642-28756-5_47
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Basler G
中科院分区：
文献类型：
--
作者：
Basler G
这是一个用于ANSI-C程序的位精度软件模型检查器。它为顺序和并发软件实现了合理的基于谓词抽象的算法。
satAbsis a bit-precise software model checker for ANSI-C programs. It implements sound predicate-abstraction based algorithms for both sequential and concurrent software.
优先遍历：用于验证和证伪的高效可达性分析
DOI：
--
发表时间：
2000
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
Ranan Fraer;Gila Kamhi;Barukh Ziv;Moshe Y. Vardi;L. Fix
通讯作者：
L. Fix
DOI：
--
发表时间：
2002
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
S. Barner;D. Geist;Anna Gringauze
通讯作者：
Anna Gringauze
结合静态分析、定理证明和抽象来证明安全性
DOI：
--
发表时间：
1999
期刊：
International Conference on Tools and Algorithms for Construction and Analysis of Systems
影响因子：
--
作者：
Vlad Rusu;Eli Singerman
通讯作者：
Eli Singerman