Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions: (Competition Contribution)
Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions: (Competition Contribution)
复制标题
DOI：
10.1007/978-3-030-45237-7_32
复制
发表时间：
2020-03-13
期刊：
影响因子：
--
通讯作者：
Schüssele F
中科院分区：
文献类型：
--
作者：
Dietsch D;Heizmann M;Nutz A;Schätzle C;Schüssele F
Ultimate Taipan是一个软件模型检查器，它结合了路径程序的跟踪抽象和抽象解释。在今年的版本中，我们替换了抽象解释引擎，现在使用多个抽象函数、定点计算、代数程序分析和SMT求解的组合。我们的新方法将使我们能够更容易地整合新技术。
Ultimate Taipan is a software model checker that combines trace abstraction with abstract interpretation on path programs. In this year’s version, we replaced our abstract interpretation engine and now use a combination of multiple abstraction functions, fixpoint computation, algebraic program analysis, and SMT solving. Our new approach will allow us to integrate new techniques more easily.
影响因子：
1.8
作者：
Cyphert, John;Breck, Jason;Reps, Thomas
通讯作者：
Reps, Thomas
影响因子：
2.5
作者：
BRZOZOWSKI, JA
通讯作者：
BRZOZOWSKI, JA
影响因子：
2.5
作者：
TARJAN, RE
通讯作者：
TARJAN, RE