软件形式化验证 第三层次文件
什么是形式化定义 计算机科学和软件工程领域编辑形式化方法是基于数学的特种技术,适合于软件和硬件系统的描述、开发和验证.将形式化方法用于软件和硬件设计,是期望能够像其它工程学科一样,使用...
用户登录
还没有账号?立即注册
用户注册
投稿取消
文章分类: |
|
还能输入300字
上传中....