Ultimate Taipan with Dynamic Block Encoding

Daniel Dietsch,Marius Greitschus,Matthias Heizmann,Jochen Hoenicke,Alexander Nutz,Andreas Podelski,Christian Schilling,Tanja Schindler

Lecture Notes in Computer Science（2018）

引用 2|浏览115

暂无评分

摘要

ULTIMATE TAIPAN is a software model checker that uses trace abstraction and abstract interpretation to prove correctness of programs. In contrast to previous versions, ULTIMATE TAIPAN now uses dynamic block encoding to obtain the best precision possible when evaluating transition formulas of large block encoded programs.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要