一种AADL模型组合形式化验证方法

被引：0

专利类型：

发明

申请号：

CN201811396551.9

申请日：

2018-11-22

公开(公告)号：

CN109739740A

公开(公告)日：

2019-05-10

发明(设计)人：

杨志斌张博林谢健周勇刘承威王永孟

申请人：

申请人地址：

210016 江苏省南京市秦淮区御道街29号

IPC主分类号：

G06F1136

IPC分类号：

代理机构：

南京苏高专利商标事务所(普通合伙) 32204

代理人：

颜盈静

法律状态：

发明专利申请公布后的驳回

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2023-01-06	发明专利申请公布后的驳回	发明专利申请公布后的驳回 IPC(主分类):G06F 11/36 申请公布日:20190510
2019-05-10	公开	公开
2019-06-04	实质审查的生效	实质审查的生效 IPC(主分类):G06F 11/36 申请日:20181122

共 50 条

[1]

形式化验证方法 [P].

黄滟鸿 ;

杨秀丽 ;

史建琦 ;

曹桂涛 ;

郭欣 .

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

[2]

一种网络协议组合形式化验证方法 [P].

张京京 ;

张龙 ;

马琳茹 ;

黄志坚 ;

熊欢 ;

张建宇 .

中国专利 :CN118802337A ,2024-10-18

[3]

一种网络协议组合形式化验证方法 [P].

张京京 ;

张龙 ;

马琳茹 ;

黄志坚 ;

熊欢 ;

张建宇 .

中国专利 :CN118802337B ,2025-10-28

[4]

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

王振涛 .

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

[5]

形式化验证系统 [P].

黄滟鸿 ;

杨秀丽 ;

史建琦 ;

曹桂涛 ;

郭欣 .

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

[6]

一种机载软件形式化验证方法 [P].

黄滟鸿 ;

杨洋 ;

史建琦 ;

蔡方达 ;

郭欣 .

中国专利 :CN114721734A ,2022-07-08

[7]

一种安全协议形式化验证方法 [P].

薛锐 ;

彭建华 ;

刘峰 .

中国专利 :CN102065083B ,2011-05-18

[8]

一种形式化验证方法及系统 [P].

杨林 ;

张龙 ;

杨峰 ;

马琳茹 .

中国专利 :CN115687166A ,2023-02-03

[9]

基于AADL的形式化验证系统的方法、装置、设备及存储介质 [P].

黄滟鸿 ;

史建琦 ;

赵梦妍 .

中国专利 :CN118796689A ,2024-10-18

[10]

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

肖堃 ;

李雨珊 ;

罗蕾 ;

陈丽蓉 .

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

← 1 2 3 4 5 →