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

被引：0

专利类型：

发明

申请号：

CN201610484230.9

申请日：

2016-06-28

公开(公告)号：

CN107547202A

公开(公告)日：

2018-01-05

发明(设计)人：

不公告发明人

申请人：

申请人地址：

212009 江苏省镇江市镇江新区智慧大道689号亚太国际1518室

IPC主分类号：

H04L932

IPC分类号：

代理机构：

代理人：

法律状态：

公开

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2018-01-05	公开	公开
2020-01-14	发明专利申请公布后的视为撤回	发明专利申请公布后的视为撤回 IPC(主分类):H04L 9/32 申请公布日:20180105

共 50 条

[1]

形式化验证方法 [P].

黄滟鸿 ;

杨秀丽 ;

史建琦 ;

曹桂涛 ;

郭欣 .

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

[2]

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

张婷婷 ;

张奎昌 ;

董会 ;

牛彦杰 .

中国专利 :CN109784491A ,2019-05-21

[3]

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

肖堃 ;

李雨珊 ;

罗蕾 ;

陈丽蓉 .

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

[4]

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

杨霞 ;

郭文生 ;

瞿元 ;

李南铮 ;

黄一 ;

钱智成 ;

潘文睿 ;

高扬 ;

张冯博 ;

卢秀台 ;

熊宇 .

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

[5]

一种面向PLC逻辑编程的智能形式化验证方法 [P].

郭肖旺 ;

赵德政 ;

原惠峰 ;

孙少乙 ;

郝瑞华 ;

封成玉 ;

何永瑾 .

中国专利 :CN110674049A ,2020-01-10

[6]

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

王振涛 .

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

[7]

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

黄滟鸿 ;

杨洋 ;

史建琦 ;

蔡方达 ;

郭欣 .

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

[8]

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

薛锐 ;

彭建华 ;

刘峰 .

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

[9]

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

杨林 ;

张龙 ;

杨峰 ;

马琳茹 .

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

[10]

一种基于形式化验证的FPGA缺陷检查方法 [P].

周勋 .

中国专利 :CN118627439A ,2024-09-10

← 1 2 3 4 5 →