JPWO2023073910A1 - - Google Patents
Info
- Publication number
- JPWO2023073910A1 JPWO2023073910A1 JP2023556017A JP2023556017A JPWO2023073910A1 JP WO2023073910 A1 JPWO2023073910 A1 JP WO2023073910A1 JP 2023556017 A JP2023556017 A JP 2023556017A JP 2023556017 A JP2023556017 A JP 2023556017A JP WO2023073910 A1 JPWO2023073910 A1 JP WO2023073910A1
- Authority
- JP
- Japan
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Prevention of errors by analysis, debugging or testing of software
- G06F11/3604—Analysis of software for verifying properties of programs
- G06F11/3608—Analysis of software for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/445—Program loading or initiating
- G06F9/44505—Configuring for program initiating, e.g. using registry, configuration files
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Prevention of errors by analysis, debugging or testing of software
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N20/00—Machine learning
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Artificial Intelligence (AREA)
- Computer Vision & Pattern Recognition (AREA)
- Data Mining & Analysis (AREA)
- Evolutionary Computation (AREA)
- Medical Informatics (AREA)
- Computing Systems (AREA)
- Mathematical Physics (AREA)
- Stored Programmes (AREA)
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| PCT/JP2021/039981 WO2023073910A1 (ja) | 2021-10-29 | 2021-10-29 | モデル分析装置、モデル分析方法、及び記録媒体 |
Publications (3)
| Publication Number | Publication Date |
|---|---|
| JPWO2023073910A1 true JPWO2023073910A1 (https=) | 2023-05-04 |
| JPWO2023073910A5 JPWO2023073910A5 (ja) | 2024-07-09 |
| JP7666628B2 JP7666628B2 (ja) | 2025-04-22 |
Family
ID=86157609
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2023556017A Active JP7666628B2 (ja) | 2021-10-29 | 2021-10-29 | モデル分析装置、モデル分析方法、及びプログラム |
Country Status (3)
| Country | Link |
|---|---|
| US (1) | US20240385943A1 (https=) |
| JP (1) | JP7666628B2 (https=) |
| WO (1) | WO2023073910A1 (https=) |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2017516181A (ja) * | 2014-03-13 | 2017-06-15 | クアルコム，インコーポレイテッド | 周辺デバイスを安全にするための挙動分析 |
| JP2020067911A (ja) * | 2018-10-25 | 2020-04-30 | トヨタ自動車株式会社 | 制御支援装置、車両、および制御支援システム |
| JP2020161167A (ja) * | 2017-03-21 | 2020-10-01 | 株式会社Ｐｒｅｆｅｒｒｅｄ Ｎｅｔｗｏｒｋｓ | サーバ装置、学習済モデル提供プログラム、学習済モデル提供方法及び学習済モデル提供システム |
-
2021
- 2021-10-29 US US18/694,032 patent/US20240385943A1/en active Pending
- 2021-10-29 JP JP2023556017A patent/JP7666628B2/ja active Active
- 2021-10-29 WO PCT/JP2021/039981 patent/WO2023073910A1/ja not_active Ceased
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2017516181A (ja) * | 2014-03-13 | 2017-06-15 | クアルコム，インコーポレイテッド | 周辺デバイスを安全にするための挙動分析 |
| JP2020161167A (ja) * | 2017-03-21 | 2020-10-01 | 株式会社Ｐｒｅｆｅｒｒｅｄ Ｎｅｔｗｏｒｋｓ | サーバ装置、学習済モデル提供プログラム、学習済モデル提供方法及び学習済モデル提供システム |
| JP2020067911A (ja) * | 2018-10-25 | 2020-04-30 | トヨタ自動車株式会社 | 制御支援装置、車両、および制御支援システム |
Also Published As
| Publication number | Publication date |
|---|---|
| WO2023073910A1 (ja) | 2023-05-04 |
| JP7666628B2 (ja) | 2025-04-22 |
| US20240385943A1 (en) | 2024-11-21 |
Similar Documents
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20240416 |
|
| A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20240416 |
|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20241203 |
|
| A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20250131 |
|
| RD01 | Notification of change of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7421 Effective date: 20250203 |
|
| A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20250217 |
|
| TRDD | Decision of grant or rejection written | ||
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20250311 |
|
| A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20250324 |
|
| R150 | Certificate of patent or registration of utility model |
Ref document number: 7666628 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |