Is a
Patent attributes
Patent Jurisdiction
Patent Number
Patent Inventor Names
Kenji Takao0
Keita Hirayama0
Date of Patent
May 31, 2022
0Patent Application Number
172784910
Date Filed
October 3, 2019
0Patent Citations
Patent Primary Examiner
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.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.