› 日本大学 › 工学部 › 情報工学科 › 高信頼性システム研究室

高信頼システム系

高信頼性システム研究室

Dependable Systems Laboratory


当研究室では,ソフトウェアの信頼性向上を目的として研究を行なっています.
信頼性保証技術の一つである形式手法を中心として, 次の研究テーマを挙げています.
  • 組込み制御システムの信頼性検証に関する研究
  • モデル検査における状態数削減技法に関する研究
  • 形式手法のサポートツールの研究開発

Topics


© 2017 Dependable Systems Laboratory