形式化任务验证方法、装置、电子设备和计算机可读介质

热门行业
装修建材
家居生活
餐饮食品
母婴教育
电脑办公
服装首饰
汽车工具
家电数码
机械化工
休闲美容

热门行业

教育培训
板材
地板
涂料
家纺
集成吊顶
美缝剂
木门
硅藻泥
管材
指纹锁
橱柜
衣柜
床垫
电热水器
集成灶
暖气片
净水器
酒店
卫浴

返回上一页

专利状态

形式化任务验证方法、装置、电子设备和计算机可读介质

有效

专利申请进度

申请

2020-03-24

申请公布

2020-07-17

授权

2023-08-18

预估到期

2040-03-24

专利基础信息

申请号	CN202010215783.0	申请日	2020-03-24
申请公布号	CN111427785A	申请公布日	2020-07-17
授权公布号	CN111427785B	授权公告日	2023-08-18
分类号	G06F11/36
分类	计算；推算；计数;
申请人名称	北京金山云网络技术有限公司
申请人地址	北京市海淀区小营西路33号3F02室

专利法律状态

2023-08-18

授权

状态信息

授权
2020-08-11

实质审查的生效

状态信息

实质审查的生效；IPC(主分类):G06F11/36；申请日:20200324
2020-07-17

公布

状态信息

公布

摘要

本发明提供了一种形式化任务验证方法、装置、电子设备和计算机可读介质，涉及计算机的技术领域，包括：获取待验证任务的任务流的配置文件，其中，所述任务流的配置文件中包含以下至少一种配置信息：任务流的变量信息，所述变量信息的初始参数，所述变量信息的状态变更信息，所述任务流的验证条件；基于所述任务流的配置文件中所包含的配置信息构建目标验证文件，其中，所述目标验证文件为基于形式化验证语言构建的文件；基于所述目标验证文件对所述任务流的时序状态进行形式化验证，本申请缓解了现有的任务验证方案正确性较低的技术问题。

更多专利

全国服务热线：

在线客服

1211389656 咨询

商务合作

85926368 咨询

媒体合作

921888730 咨询

在线客服
客服微信号

品牌网官方客服微信

打开微信扫一扫

客服微信
商务合作微信

商务合作详谈

打开微信扫一扫

商务合作
回到顶部

在线客服

商务合作

媒体合作

客服微信号

商务合作微信