Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).
TACAS (2)(2023)
摘要
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 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络