形式言語理論に基づく静的解析法とその安全性検査への応用
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-23300008 |
|---|---|
| 研究種目 | 基盤研究(B) |
| 研究分野 | 総合・新領域系 総合領域 情報学 ソフトウエア |
| 研究機関 | 名古屋大学 奈良先端科学技術大学院大学 |
| 代表研究者 | 関 浩之 |
| 研究分担者 | 小川 瑞史 |
| 研究分担者 | 楫 勇一 |
| 研究分担者 | 橋本 健二 |
| 研究期間 開始年月日 | 2011/4/1 |
| 研究期間 終了年度 | 2015 |
| 研究ステータス | 完了 (2015/4/1) |
| 配分額（合計） | 20,020,000 (直接経費 :15,400,000、間接経費 :4,620,000) |
| 配分額（履歴） |
2014年度：4,550,000 (直接経費 :3,500,000、間接経費 :1,050,000) 2013年度：5,070,000 (直接経費 :3,900,000、間接経費 :1,170,000) 2012年度：5,070,000 (直接経費 :3,900,000、間接経費 :1,170,000) 2011年度：5,330,000 (直接経費 :4,100,000、間接経費 :1,230,000) |
| キーワード | ソフトウェア検証 形式言語理論 モデル検査 XML 情報保存性 木変換器 セキュリティ 木オートマトン 圧縮 頂点問合せ 木文法 |