首页>
外国专利>
MODEL CHECKING DEVICE FOR DISTRIBUTED ENVIRONMENT MODEL, MODEL CHECKING METHOD FOR DISTRIBUTED ENVIRONMENT MODEL, AND MEDIUM
MODEL CHECKING DEVICE FOR DISTRIBUTED ENVIRONMENT MODEL, MODEL CHECKING METHOD FOR DISTRIBUTED ENVIRONMENT MODEL, AND MEDIUM
展开▼
机译:分布式环境模型的模型检查装置,分布式环境模型的模型检查方法和介质
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼