可满足性模理论论文

SMT求解器增强技术的研究
论文摘要在计算机集成电路不断飞速发展的信息时代,无论计算机的硬件还是软件设计的复杂度都在不断提高,也对开发设计提出了新的挑战,尤其是在保证新产品的安全性、可靠性和正确性方面。为...