一种机载软件形式化验证方法

被引：0

申请号：

CN202210130444.1

申请日：

2022-02-11

公开(公告)号：

CN114721734A

公开(公告)日：

2022-07-08

发明(设计)人：

黄滟鸿杨洋史建琦蔡方达郭欣

申请人：

申请人地址：

200062 上海市普陀区中山北路3663号

IPC主分类号：

G06F9445

IPC分类号：

代理机构：

北京辰权知识产权代理有限公司 11619

代理人：

李小朋

法律状态：

公开

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2022-07-08	公开	公开
2022-07-26	实质审查的生效	实质审查的生效 IPC(主分类):G06F 9/445 申请日:20220211

共 50 条

[1]

一种机载软件形式化验证系统 [P].

史建琦 ;

杨洋 ;

黄滟鸿 ;

郭欣 ;

蔡方达 .

中国专利 :CN114741123A ,2022-07-12

[2]

形式化验证方法 [P].

黄滟鸿 ;

杨秀丽 ;

史建琦 ;

曹桂涛 ;

郭欣 .

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

[3]

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

王振涛 .

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

[4]

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

赵永望 ;

章喆 ;

姚历智 ;

赵健宏 .

中国专利 :CN115658549A ,2023-01-31

[5]

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

杨林 ;

张龙 ;

杨峰 ;

马琳茹 .

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

[6]

一种机载FADEC操作系统的分层形式化验证方法 [P].

张磊 ;

王阳 ;

杨云强 ;

油腾 ;

丁夕 ;

陈可可 .

中国专利 :CN118069528A ,2024-05-24

[7]

形式化验证系统 [P].

黄滟鸿 ;

杨秀丽 ;

史建琦 ;

曹桂涛 ;

郭欣 .

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

[8]

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

薛锐 ;

彭建华 ;

刘峰 .

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

[9]

一种用于Java软件的形式化验证方法及装置 [P].

赵永望 ;

陆嘉晨 ;

沈韬立 ;

常瑞 ;

任奎 .

中国专利 :CN115357492B ,2025-05-30

[10]

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

杨林 ;

张龙 ;

杨峰 ;

马琳茹 .

中国专利 :CN117687924A ,2024-03-12

← 1 2 3 4 5 →