研究者詳細情報
| 研究者 | 小川 瑞史 |
|---|---|
| 大学 | JAIST 情報科学系、知能ロボティクス領域 |
| 研究室名 | |
| 専門分野 | 形式的検証手法の理論的基礎および応用の研究、組み合わせ理論に基づく効率的検証アルゴリズム、非線形項書換系、形式言語における決定可能性についての研究 |
| 研究テーマ | 検証、プログラム解析、定理証明、モデル検査、組み合わせ理論、書換系、形式言語 |
| 検索キーワード |
検証、プログラム解析、定理証明、モデル検査、組み合わせ理論、書換系、形式言語
|
| PR URL | |
| PRタイトル名 | |
| PR詳細文 (図) |
|
| 特許 | |
| 論文 | |
| 科研費 |