基于描述逻辑的服务编导模型形式化验证方法

被引：0

专利类型：

发明

申请号：

CN201811537469.3

申请日：

2018-12-15

公开(公告)号：

CN109784491A

公开(公告)日：

2019-05-21

发明(设计)人：

张婷婷张奎昌董会牛彦杰

申请人：

申请人地址：

210007 江苏省南京市秦淮区后标营路88号

IPC主分类号：

G06N504

IPC分类号：

G06Q1010

代理机构：

南京理工大学专利中心 32203

代理人：

封睿

法律状态：

实质审查的生效

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2019-06-14	实质审查的生效	实质审查的生效 IPC(主分类):G06N 5/04 申请日:20181215
2022-06-03	发明专利申请公布后的驳回	发明专利申请公布后的驳回 IPC(主分类):G06N 5/04 申请公布日:20190521
2019-05-21	公开	公开

共 50 条

[1]

形式化验证方法 [P].

黄滟鸿 ;

杨秀丽 ;

史建琦 ;

曹桂涛 ;

郭欣 .

中国专利 :CN111427565B ,2020-07-17

[2]

源代码形式化验证方法 [P].

王振涛 .

中国专利 :CN112199271A ,2021-01-08

[3]

基于层次验证框架的形式化验证方法 [P].

肖堃 ;

李雨珊 ;

罗蕾 ;

陈丽蓉 .

中国专利 :CN120780577A ,2025-10-14

[4]

基于定理证明的形式化验证方法 [P].

杨霞 ;

郭文生 ;

瞿元 ;

李南铮 ;

黄一 ;

钱智成 ;

潘文睿 ;

高扬 ;

张冯博 ;

卢秀台 ;

熊宇 .

中国专利 :CN110989997A ,2020-04-10

[5]

一种基于SVO逻辑的新形式化验证方法 [P].

不公告发明人 .

中国专利 :CN107547202A ,2018-01-05

[6]

基于形式化验证的软件开发模型的验证方法 [P].

朱怡安 ;

张欢 .

中国专利 :CN109918049A ,2019-06-21

[7]

形式化验证系统 [P].

黄滟鸿 ;

杨秀丽 ;

史建琦 ;

曹桂涛 ;

郭欣 .

中国专利 :CN111338948B ,2020-06-26

[8]

语义Web服务组合的模型转换及形式化验证方法 [P].

范玉顺 ;

倪悦 .

中国专利 :CN101808109A ,2010-08-18

[9]

基于模型检测的区块链众筹合约形式化验证方法 [P].

夏琦 ;

刘佳琴 ;

段立新 ;

张彦如 ;

高建彬 ;

夏虎 ;

马可芝 .

中国专利 :CN117436091A ,2024-01-23

[10]

基于形式化验证的芯片IO复用验证方法 [P].

曹靖 ;

李世平 ;

李明 ;

黄银和 ;

郝明 ;

雷志勇 .

中国专利 :CN114896922A ,2022-08-12

← 1 2 3 4 5 →