[发明专利]一种基于Coq的机器人控制系统时序安全性的验证方法有效
| 申请号： | 202011390411.8 | 申请日： | 2020-12-02 |
| 公开（公告）号： | CN112463133B | 公开（公告）日： | 2022-06-10 |
| 发明（设计）人： | 邬惠峰;范宝文;孙洁香 | 申请（专利权）人： | 杭州电子科技大学 |
| 主分类号： | G06F8/30 | 分类号： | G06F8/30;G06F8/35;G06F8/41;B25J9/16 |
| 代理公司： | 浙江永鼎律师事务所 33233 | 代理人： | 陆永强 |
| 地址： | 310018 浙*** | 国省代码： | 浙江;33 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了基于Coq的机器人控制系统时序安全性的验证方法，包括以下步骤：S10，抽象系统行为；S20，制定语义模型；S30，变量的形式化、转移规则的形式化、期望性质的形式化和性质的验证。本发明解决利用定理证明器验证基于C语言的嵌入式系统时序安全性的问题。 | ||
| 搜索关键词： | 一种 基于 coq 机器人 控制系统 时序 安全性 验证 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于杭州电子科技大学，未经杭州电子科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202011390411.8/，转载请声明来源钻瓜专利网。
