Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).

Matthias Heizmann, Max Barth,Daniel Dietsch, Leonard Fichtner,Jochen Hoenicke,Dominik Klumpp,Mehdi Naouar,Tanja Schindler,Frank Schüssele,Andreas Podelski

TACAS (2)（2023）

引用 1|浏览16

暂无评分

摘要

Abstract The verification approach of Ultimate Automizer utilizes SMT formulas. This paper presents techniques to keep the size of the formulas small. We focus especially on a normal form, called CommuHash normal form that was easy to implement and had a significant impact on the runtime of our tool.

查看译文

关键词

ultimate automizer,commuhash normal form

AI 理解论文

溯源树

样例

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

Chat Paper

正在生成论文摘要