北陸先端科学技術大学院大学 · 先端科学技術研究科 · 教授

研究キーワード形式仕様・定理証明・車載システム・形式検証・形式手法・ソフトウェアテスト・ソフトウェア工学・モデル検査

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• CoRR, abs/2501.09319, -, 20252025 · Misc
• CoRR, abs/2503.09282, -, 20252025 · Misc
• IEEE Transactions on Reliability, -, 20252025 · 発表論文
• IEEE Access, 13, 6321-6349, 20252025 · 発表論文

• 現実的な形式的オブジェクト指向分析と計算機支援環境
• から研究され続けており，成熟しつつある．このような基礎理論を用いて，現在の研究課題
• 証明スコア法に基づく革新的仕様検証技術の研究
• そこで，このような形式手法／検証手法を用いて正しいソフトウェアを効率的に開研究課題

• 公式プロフィール