可满足问题求解相关硕士博士期刊学术论文

形式化验证是保证硬件系统设计正确性的一种有效的手段,它基于已建立的形式化规格,分析系统的相关特性,以评判系统是否满足期望。......