組込みCISCアセンブリプログラムの記号モデル検査

スポンサーリンク

概要

論文の詳細を見る
組込みシステムは年々大規模化・複雑化が進み,安全性・信頼性の検証はますます困難となっている.そのため,プログラムを漏れ無く検証できる有効な検証手法として,正しさを自動的に証明できる形式的検証手法が注目されている.本研究では,スタックオーバーフローや多重割り込みなど,ハードウェア依存の特性を持つ検証事項について有効なアセンブリプログラムの形式的検証手法を提案する.
2013-10-17

著者

関連論文

もっと見る

スポンサーリンク