Title:
Model checking device for distributed environment model, model checking method and program for distributed environment model
Document Type and Number:
Japanese Patent JP6332284
Kind Code:
B2
Abstract:
A model checking device for a distributed-environment-model according to the present invention, includes: a distributed-environment-model search unit that adopts a first state as start point when obtaining information indicating a distributed-environment-model, searches the state attained by the distributed-environment-model by executing straight line movements for moving from the first state to a second state which is an end position, and determines whether the searched state satisfies a predetermined property; a searched state management unit that stores the searched state in the past; a searched-transition-history management unit that stores an order of the transitions of the straight line movements in the past; a searched state transition association information management unit that stores the transition when moving to another state in the past search in such a manner that the transition is associated with each of the searched states.
More Like This:
| WO/2022/053139 | MICROCHIP WITH ON-CHIP DEBUG AND TRACE ENGINE |
| JP4864867 | Model checking support device and program |
| JP2019114043 | SOFTWARE EVALUATION SYSTEM |
Inventors:
Yuho Yatsune
Tomizawa Nobuyuki
Tomizawa Nobuyuki
Application Number:
JP2015557700A
Publication Date:
May 30, 2018
Filing Date:
August 21, 2014
Export Citation:
Assignee:
NEC
International Classes:
G06F11/36
Foreign References:
| US20090282288 |
Other References:
八鍬 豊、富沢伸行、登内敏夫,記号実行によるパケットの抽象化を用いたOpenFlowネットワークモデル検査方式の提案,電子情報通信学会技術研究報告,日本,一般社団法人電子情報通信学会,2013年 7月11日,Vol.113,No.140,p.107-112(IN2013-54),ISSN 0913-5685
Attorney, Agent or Firm:
Masahiko Desk
Naoki Shimosaka
Naoki Shimosaka