CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査

スポンサーリンク

概要

論文の詳細を見る
本研究では,組込みシステム向けアセンブリプログラムのコードブロックを対象とした,SMT有界モデル検査手法による性質検証を述べる.アセンブリプログラムのコードブロック生成規則とモデル化について提案する.また,実際のプログラムに対して提案手法によるコード変換を行った.
2014-01-23

著者

関連論文

もっと見る

スポンサーリンク