しらさぎプロジェクト大学開放特許データベース(単願&発明者検索)

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