可满足性验证论文

形式化验证技术在EDA软件开发中的应用
论文摘要形式化验证技术起源于20世纪60年代软件危机。直至整个70年代，形式化验证技术所针对的一般是转换型程序，即单纯进行科学计算、计数等功能的软件。形式化验证的巨大成功首先来...