一种基于SysML模型的形式化验证系统

被引：0

专利类型：

发明

申请号：

CN202411021762.X

申请日：

2024-07-29

公开(公告)号：

CN118981428A

公开(公告)日：

2024-11-19

发明(设计)人：

黄滟鸿史建琦陈英豪

申请人：

上海丰蕾信息科技有限公司

申请人地址：

200333 上海市普陀区云岭西路600弄6号801室

IPC主分类号：

G06F11/36

IPC分类号：

G06F8/35

代理机构：

上海锦麟专利代理事务所(普通合伙) 31493

代理人：

韩俊杰

法律状态：

实质审查的生效

国省代码：

上海市市辖区

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2024-12-06	实质审查的生效	实质审查的生效IPC(主分类):G06F 11/36申请日:20240729
2024-11-19	公开	公开

共 50 条

[1]

形式化验证系统 [P].

黄滟鸿 ;

杨秀丽 ;

史建琦 ;

曹桂涛 ;

郭欣 .

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

[2]

一种基于模型翻译的Ptolemy离散事件模型形式化验证方法 [P].

王瑞 ;

陆芝浩 ;

关永 ;

孔辉 ;

李晓娟 ;

施智平 .

中国专利 :CN112163343A ,2021-01-01

[3]

形式化验证方法 [P].

黄滟鸿 ;

杨秀丽 ;

史建琦 ;

曹桂涛 ;

郭欣 .

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

[4]

形式化验证的系统和方法 [P].

邵中 ;

顾荣辉 ;

威廉·舍贝里 ;

金志应 ;

热雷米·凯尼格 .

中国专利 :CN112119423A ,2020-12-22

[5]

形式化验证的系统和方法 [P].

邵中 ;

顾荣辉 ;

威廉·舍贝里 ;

金志应 ;

热雷米·凯尼格 .

美国专利 :CN112119423B ,2024-09-10

[6]

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

朱怡安 ;

张欢 .

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

[7]

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

肖堃 ;

李雨珊 ;

罗蕾 ;

陈丽蓉 .

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

[8]

一种AADL模型组合形式化验证方法 [P].

杨志斌 ;

张博林 ;

谢健 ;

周勇 ;

刘承威 ;

王永孟 .

中国专利 :CN109739740A ,2019-05-10

[9]

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

杨霞 ;

郭文生 ;

瞿元 ;

李南铮 ;

黄一 ;

钱智成 ;

潘文睿 ;

高扬 ;

张冯博 ;

卢秀台 ;

熊宇 .

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

[10]

一种基于模型检测的安全协议形式化验证方法 [P].

肖美华 ;

杨科 ;

王西忠 ;

谌佳 ;

宋佳雯 ;

钟小妹 .

中国专利 :CN109150833A ,2019-01-04

← 1 2 3 4 5 →