形式化验证的系统和方法

被引：0

专利类型：

发明

申请号：

CN201880087842.1

申请日：

2018-11-28

公开(公告)号：

CN112119423A

公开(公告)日：

2020-12-22

发明(设计)人：

邵中顾荣辉威廉·舍贝里金志应热雷米·凯尼格

申请人：

申请人地址：

美国康涅狄格州

IPC主分类号：

G06Q5018

IPC分类号：

代理机构：

北京集佳知识产权代理有限公司 11227

代理人：

唐京桥;杨林森

法律状态：

公开

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2020-12-22	公开	公开
2021-01-08	实质审查的生效	实质审查的生效 IPC(主分类):G06Q 50/18 申请日:20181128

共 50 条

[1]

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

邵中 ;

顾荣辉 ;

威廉·舍贝里 ;

金志应 ;

热雷米·凯尼格 .

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

[2]

形式化验证系统 [P].

黄滟鸿 ;

杨秀丽 ;

史建琦 ;

曹桂涛 ;

郭欣 .

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

[3]

形式化验证方法 [P].

黄滟鸿 ;

杨秀丽 ;

史建琦 ;

曹桂涛 ;

郭欣 .

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

[4]

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

王振涛 .

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

[5]

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

肖堃 ;

李雨珊 ;

罗蕾 ;

陈丽蓉 .

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

[6]

一种敏捷形式化验证方法和系统 [P].

张龙 ;

赵永望 ;

赵健宏 ;

马琳茹 ;

杨峰 .

中国专利 :CN118132081A ,2024-06-04

[7]

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

杨霞 ;

郭文生 ;

瞿元 ;

李南铮 ;

黄一 ;

钱智成 ;

潘文睿 ;

高扬 ;

张冯博 ;

卢秀台 ;

熊宇 .

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

[8]

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

曹靖 ;

李世平 ;

李明 ;

黄银和 ;

郝明 ;

雷志勇 .

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

[9]

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

杨林 ;

张龙 ;

杨峰 ;

马琳茹 .

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

[10]

联锁数据安全性的形式化验证方法和系统 [P].

王燕芩 ;

魏民 ;

张铭瑶 ;

朱迎春 ;

李卫娟 ;

张程 ;

刘丽娟 ;

陈虹 .

中国专利 :CN115525929A ,2022-12-27

← 1 2 3 4 5 →