Title:
検証処理装置、検証処理方法及びプログラム
Document Type and Number:
Japanese Patent JP7214440
Kind Code:
B2
Abstract:
This validation processing device is provided with: a processing unit that performs model checking on a model to be checked; and a selection unit that selects, on the basis of the result of the model checking, one element from among elements that have undergone state change in a process leading to an unsafe event. The processing unit further performs model checking again on the model to be checked excluding the one element.
More Like This:
Inventors:
▲高▼尾 健司
Keita Hirayama
Keita Hirayama
Application Number:
JP2018206518A
Publication Date:
January 30, 2023
Filing Date:
November 01, 2018
Export Citation:
Assignee:
Mitsubishi Heavy Industries Engineering Co., Ltd.
International Classes:
G06F11/36; G06F30/33
Domestic Patent References:
| JP2009053938A |
Other References:
青木 善貴 他,開発現場を想定したモデル検査に基づくプログラムの欠陥抽出手法,電子情報通信学会技術研究報告,社団法人電子情報通信学会,2012年01月16日,第111巻 第396号,第43頁-第48頁, ISSN:0913-5685
森川 郁也 他,モデル検査によるWebセッションのセキュリティ欠陥検出手法,電子情報通信学会技術研究報告,社団法人電子情報通信学会,2007年04月12日,第107巻 第5号,第29頁-第34頁,ISSN:0913-5685
森川 郁也 他,モデル検査によるWebセッションのセキュリティ欠陥検出手法,電子情報通信学会技術研究報告,社団法人電子情報通信学会,2007年04月12日,第107巻 第5号,第29頁-第34頁,ISSN:0913-5685
Attorney, Agent or Firm:
Yasushi Matsunuma
Eisuke Ito
Hiroyuki Hashimoto
Ancient city Satoshi
Koichiro Kamada
Taichi Hasegawa
Eisuke Ito
Hiroyuki Hashimoto
Ancient city Satoshi
Koichiro Kamada
Taichi Hasegawa