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

被引：0

专利类型：

发明

申请号：

CN201780043890.6

申请日：

2017-05-15

公开(公告)号：

CN110383238B

公开(公告)日：

2024-01-05

发明(设计)人：

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

申请人：

新思科技有限公司

申请人地址：

美国加利福尼亚州

IPC主分类号：

G06F8/20

IPC分类号：

G06F11/36 G06F16/23

代理机构：

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

代理人：

王小衡;王天鹏

法律状态：

授权

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2024-01-05	授权	授权
2025-02-28	专利权人的姓名或者名称、国籍和地址的变更	专利权人的姓名或者名称、国籍和地址的变更IPC(主分类):G06F 8/20变更事项:专利权人变更前:软件完整性集团公司变更后:黑鸭软件股份有限公司变更事项:国家或地区变更前:美国变更后:美国变更事项:地址变更前:美国变更后:美国
2024-07-02	专利申请权、专利权的转移	专利权的转移IPC(主分类):G06F 8/20登记生效日:20240617变更事项:专利权人变更前权利人:新思科技有限公司变更后权利人:软件完整性集团公司变更事项:国家或地区变更前权利人:美国变更后权利人:美国变更事项:地址变更前权利人:美国加利福尼亚州变更后权利人:美国

共 50 条

[1]

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

约翰·史蒂文 ;

克里斯·施密特 ;

乔丹·泰勒·塞耶 .

中国专利 :CN110383238A ,2019-10-25

[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 →