satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution)
satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution)
复制标题
satabs：C 程序的位精确验证器 -（竞赛贡献）
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
T. Wahl
中科院分区：
文献类型：
--
作者：
Gérard Basler;Alastair F. Donaldson;A. Kaiser;D. Kroening;Michael Tautschnig;T. Wahl
SatAbs是一种用于ANSI-C程序的位精度软件模型检查器。它为顺序和并发软件实现了合理的基于谓词抽象的算法。
satAbs is a bit-precise software model checker for ANSI-C programs. It implements sound predicate-abstraction based algorithms for both sequential and concurrent software.
上下文感知计数器抽象
影响因子：
0.8
作者：
Basler G
通讯作者：
Basler G