対称性及び抽象化を利用した検証方式の効率化

スポンサーリンク

概要

論文の詳細を見る
一般的なシステムは同一の構成要素を多数持ち高い対称性を持つことが知られているが、このようなシステムを検証する際に全体の構造を維持しつつ縮小したシステムを検証することで、元のシステムを直接検証するのと同程度の効果があることが直感的に知られている。(例えば、16bit加算器を2bit加算器に縮小して検証する)。しかしそのような検証は、元々のシステムで同様に検証が成功することを保証しない。本研究では、星状対称構造を持ったペトリネットで表現できるシステムを対象として、局所状態空間のみで定義される性質について任意の規模のシステムを検証する事を目的とし、星状対称構造のペトリネットに対して規模に依存せずに局所状態空間を探索するアルゴリズムを提案した。
一般社団法人電子情報通信学会の論文
1997-06-13

著者

関連論文

もっと見る

スポンサーリンク