用于基于模型的软件分析的系统和方法

被引：0

专利类型：

发明

申请号：

CN201780043890.6

申请日：

2017-05-15

公开(公告)号：

CN110383238A

公开(公告)日：

2019-10-25

发明(设计)人：

约翰·史蒂文克里斯·施密特乔丹·泰勒·塞耶

申请人：

申请人地址：

美国加利福尼亚州

IPC主分类号：

G06F820

IPC分类号：

G06F1136 G06F1623

代理机构：

北京品源专利代理有限公司 11332

代理人：

王小衡;王天鹏

法律状态：

公开

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2019-10-25	公开	公开
2019-11-19	实质审查的生效	实质审查的生效 IPC(主分类):G06F 8/20 申请日:20170515

共 50 条

[1]

用于基于模型的软件分析的系统和方法 [P].

约翰·史蒂文 ;

克里斯·施密特 ;

乔丹·泰勒·塞耶 .

美国专利 :CN110383238B ,2024-01-05

[2]

用于软件分析的系统和方法 [P].

R·T·卡巴克三世 ;

B·D·加伊诺 ;

N·A·布洛克 ;

N·R·什尼德曼 .

中国专利 :CN106663003A ,2017-05-10

[3]

用于基于模型的分析的方法和设备 [P].

A·埃迪 ;

R·甘施 ;

P·芒克 ;

L·高尔霍夫 ;

M·施维泽 .

中国专利 :CN112989352A ,2021-06-18

[4]

软件分析系统和方法 [P].

R·T·卡巴克三世 ;

B·D·加伊诺 ;

N·R·什尼德曼 ;

S·H·钱 .

中国专利 :CN106537332A ,2017-03-22

[5]

用于分析软件的方法和设备 [P].

S·舒库马兰 ;

R·塞图 .

中国专利 :CN102207901B ,2011-10-05

[6]

用于隔离错误的软件程序组件的方法和系统 [P].

克利福德·J·斯皮纳克 ;

艾尔弗雷多·V·门多萨 ;

蒂法尼·L·温曼 ;

斯蒂芬·B·佩卡姆 .

中国专利 :CN101030164A ,2007-09-05

[7]

用于软件应用组件测试的方法和系统 [P].

W·R·小帕腾 ;

D·A·小史密斯 ;

J·N·艾森 ;

C·拉吉雅古鲁 .

美国专利 :CN114647572B ,2025-07-11

[8]

用于软件应用组件测试的方法和系统 [P].

W·R·小帕腾 ;

D·A·小史密斯 ;

J·N·艾森 ;

C·拉吉雅古鲁 .

中国专利 :CN114647572A ,2022-06-21

[9]

用于分析及检测恶意软件的方法和装置 [P].

M·J·米耶蒂宁 .

中国专利 :CN103038777B ,2016-09-28

[10]

用于安全关键软件开发的基于模型的技术和过程的系统和方法 [P].

T·L·约翰逊 ;

A·W·克拉波 ;

M·R·杜林 ;

A·瓦施 ;

K·Y·肖 ;

L·帕罗里尼 ;

P·马诺里奥斯 ;

M·李 ;

郁涵 ;

S·A·斯塔塞 ;

G·R·斯科斯 .

中国专利 :CN106528100B ,2017-03-22

← 1 2 3 4 5 →