标题 |
What is formal verification?
什么是形式验证?
相关领域
计算机科学
正确性
形式验证
形式等价性检查
功能验证
程序设计语言
形式化方法
运行时验证
等价(形式语言)
智能验证
理论计算机科学
财产(哲学)
实施
高级验证
软件
软件系统
数学
软件建设
哲学
离散数学
认识论
|
网址 | |
DOI | |
求助人 | |
下载 | 暂无链接,等待应助者上传 |
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|