効率のよいコース探査のための抽象化

第3回情報科学技術フォーラム

モデル検査を効率よく行うための抽象化技法について全順序構造に基づく方法を提案した。