Ultimate Taipan with Dynamic Block Encoding

Dietsch, D; Greitschus, M; Heizmann, M; Hoenicke, J; Nutz, A; Podelski, A; Schilling, C; Schindler, T

Dietsch, D; Greitschus, M (reprint author), Univ Freiburg, Freiburg, Germany.

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT II, 2018; 10806 (): 452

Abstract

ULTIMATE TAIPAN is a software model checker that uses trace abstraction and abstract interpretation to prove correctness of programs. In contrast to p......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索