06月04日(Tue) 18:40〜20:20 B会場(-国際会議場201号室)
演題番号 | 1B5-6 |
---|---|
題目 | LMNtal 並列モデル検査における 状態生成数削減及び高速化 |
著者 | 安田 竜(早稲田大学基幹理工学部情報理工学科) 上田 和紀(早稲田大学理工学術院情報理工学科) 吉田 健人(早稲田大学基幹理工学部情報理工学科) |
時間 | 06月04日(Tue) 20:00〜20:20 |
概要 | 階層グラフ書き換え言語LMNtalの実行時処理系であるSLIMには,プログラムの検証を行うモデル検査機能が実装されている.SLIMで採用されているMAP,OWCTY等の並列探索アルゴリズムは、エラーを含む問題に対して状態生成数が多くなるほか,特定の問題に対して極端に性能が落ちるという問題を抱えている.本研究では,これらの問題を解決するため,新たなアルゴリズムの設計と実装を行い,その性能を評価した. |
論文 | PDFファイル |