Japan Advanced Institute of Science and Technology · Graduate School of Advanced Science and Technology · 教授

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

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

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

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

• Official profile