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

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

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

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

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

• 官方个人主页