有限状态自动机验证方法及装置

被引：0

专利类型：

发明

申请号：

CN202410376365.8

申请日：

2024-03-29

公开(公告)号：

CN117971358B

公开(公告)日：

2024-06-07

发明(设计)人：

童浩南任智新张闯

申请人：

苏州元脑智能科技有限公司

申请人地址：

215128 江苏省苏州市吴中经济开发区郭巷街道官浦路1号9幢

IPC主分类号：

G06F9/448

IPC分类号：

G06F16/903 G06N7/01 G06F40/216 G06F18/22

代理机构：

北京路浩知识产权代理有限公司 11002

代理人：

李相雨

法律状态：

实质审查的生效

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2024-05-21	实质审查的生效	实质审查的生效IPC(主分类):G06F 9/448申请日:20240329
2024-06-07	授权	授权
2024-05-03	公开	公开

共 50 条

[1]

有限状态自动机验证方法及装置 [P].

童浩南 ;

任智新 ;

张闯 .

中国专利 :CN117971358A ,2024-05-03

[2]

有限状态自动机验证方法、装置、电子设备及存储介质 [P].

童浩南 ;

任智新 ;

张闯 .

中国专利 :CN117971357B ,2024-06-07

[3]

有限状态自动机验证方法、装置、电子设备及存储介质 [P].

童浩南 ;

任智新 ;

张闯 .

中国专利 :CN117971357A ,2024-05-03

[4]

一种基于有限状态自动机的程序代码测试方法及装置 [P].

秦伯钦 ;

程咏阳 ;

惠钊 ;

江峰 .

中国专利 :CN114443470A ,2022-05-06

[5]

数据内容过滤方法与装置、有限状态自动机及其构造装置 [P].

黄凯明 .

中国专利 :CN101414914A ,2009-04-22

[6]

生成有限状态自动机的方法和装置以及识别方法 [P].

房璐 ;

郑仲光 ;

夏迎炬 ;

孙俊 .

中国专利 :CN112560470A ,2021-03-26

[7]

一种有限状态自动机的状态锁的检测方法及系统 [P].

岳菊梅 ;

闫永义 ;

邓鹤 ;

李东山 ;

刘剑锋 ;

孙广磊 ;

康世禄 .

中国专利 :CN113157353B ,2021-07-23

[8]

一种基于有限状态自动机的字符串匹配方法及装置 [P].

黄凯明 .

中国专利 :CN101639861B ,2010-02-03

[9]

一种有限状态自动机器的精简方法及系统 [P].

闫永义 ;

岳菊梅 ;

邓鹤 ;

孙广磊 ;

康世禄 ;

李东山 ;

刘剑锋 .

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

[10]

应用于自动外呼系统的有限状态自动机策略方法及装置 [P].

钟坚 ;

吴文韬 ;

何美斌 ;

张琳 ;

陶俊 ;

尧德鹏 .

中国专利 :CN117978918A ,2024-05-03

← 1 2 3 4 5 →