形式验证-一流百科

形式验证

形式验证在硬件和软件系统的上下文中，形式验证是使用形式数学方法证明或反驳系统下针对特定形式规范或属性的预期算法的正确性的行为。形式验证可以帮助证明...