[发明专利]形式化验证方法有效
| 申请号： | 202010113863.5 | 申请日： | 2020-02-24 |
| 公开（公告）号： | CN111427565B | 公开（公告）日： | 2022-04-05 |
| 发明（设计）人： | 黄滟鸿;杨秀丽;史建琦;曹桂涛;郭欣 | 申请（专利权）人： | 华东师范大学 |
| 主分类号： | G06F8/35 | 分类号： | G06F8/35;G06F11/36 |
| 代理公司： | 北京辰权知识产权代理有限公司 11619 | 代理人： | 付婧 |
| 地址： | 200062 上*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种形式化验证方法，包括SEDS建模步骤，用于依据电子数据表单规范文件建立SEDS模型；模型转换步骤用于将SEDS模型转换为适合模型检查的形式化模型；性质规约步骤用于对SEDS模型的功能逻辑的性质进行形式化描述；形式化验证步骤用于对形式化模型和所描述的功能逻辑性质进行形式化验证，得到验证结果。本发明通过将SEDS模型转换为形式化模型，对SEDS模型的功能逻辑的性质进行形式化描述，对形式化模型和性质描述进行形式化验证，以从数学推理角度对SEDS的功能逻辑实现检查，进而保障软件的正确性和可靠性，同时用户还可以根据验证结果发现功能逻辑中存在的冲突或缺陷，并对SEDS模型中的错误进行修正。 | ||
| 搜索关键词： | 形式化 验证 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华东师范大学，未经华东师范大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010113863.5/，转载请声明来源钻瓜专利网。
