拖动LOGO到书签栏,立即收藏一流导航
一流导航
词条百科
企业百科
产品提交
文章投稿
登录/注册
词条百科
企业百科
显示直达
形式化验证
寓意
形式化验证
抽象
状态
系统
形式化验证
形式化验证在硬件和软件系统的背景下,形式化验证是使用数学的形式化方法,证明或反驳系统所依据的预定算法在某种形式化规范或属性方面的正确性的行为。形式...
添加小工具
点此为“分类归档侧边栏”添加小工具
扫码分享到朋友圈
形式化验证