一流百科
拖动LOGO到书签栏,立即收藏一流导航
  • 一流导航
  • 词条百科
  • 企业百科
  • 产品提交 文章投稿
  • 登录/注册
  • 词条百科
  • 企业百科

形式化验证

寓意形式化验证抽象状态系统

形式化验证

形式化验证在硬件和软件系统的背景下,形式化验证是使用数学的形式化方法,证明或反驳系统所依据的预定算法在某种形式化规范或属性方面的正确性的行为。形式...
词条百科
添加小工具
点此为“分类归档侧边栏”添加小工具
Copyright © 2025 一流百科 

扫码分享到朋友圈