| 演題番号 | 2H2-3 |
|---|---|
| 題目 | LMNtalを用いた状態空間探索 |
| 著者 | 小川 誠司(早稲田大学) 綾野 貴之(早稲田大学) |
| 時間 | 06月18日(Thu) 11:20〜11:40 |
| 概要 | LMNtalは階層グラフ書換えに基づく並行計算モデルであるが,我々はLMNtalをモデリング言語とするモデル検査器を構築し,状態空間探索への適用を開拓した.加えて履歴管理を行うuniq制約を新たに実装することで,今まで実現が困難であった状態空間探索の対象となるLMNtalモデルを簡潔に記述できることを確認した.本論文ではuniq制約とそれを用いたLMNtalモデルの記述例,動作例などを紹介する. |
| 論文 | PDFファイル |