並列プログラムに現れる非同期型通信のプロセス代数による解析・検証
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-14540121 |
|---|---|
| 研究種目 | 基盤研究(C) |
| 研究分野 | 理学 数学 数学一般(含確率論・統計数学) |
| 研究機関 | 愛媛大学 |
| 代表研究者 | 大塚 寛 |
| 研究分担者 | 土屋 卓也 |
| 研究分担者 | 石川 保志 |
| 研究期間 開始年月日 | 2002/4/1 |
| 研究期間 終了年度 | 2004 |
| 研究ステータス | 完了 (2004/4/1) |
| 配分額（合計） | 2,800,000 (直接経費 :2,800,000) |
| 配分額（履歴） |
2004年度：1,000,000 (直接経費 :1,000,000) 2003年度：1,000,000 (直接経費 :1,000,000) 2002年度：800,000 (直接経費 :800,000) |
| キーワード | 協調型言語 モデル検査 有限オートマトン 正規表現 正規表現関数 文字列照合問題 モデル検証 プロセス代数 クリプケ構造 失敗集合 軌跡 可達性解析 coordination language model checking finite automaton regular expression regular expression function regular expression pattern matching |