形式化验证-一流百科

形式化验证

形式化验证在硬件和软件系统的背景下，形式化验证是使用数学的形式化方法，证明或反驳系统所依据的预定算法在某种形式化规范或属性方面的正确性的行为。形式...