アセンブリプログラムに対するSMTソルバを使用する有界モデル検査 SMT-based Bounded Model Checking for Assembly program

この論文をさがす

著者

抄録

本稿では,組み込みシステム向けアセンブリ言語プログラムコードのレジスタレベルモデルに対して,SMTソルバを用いた有界モデル検査手法による性質検証を述べる.SMTソルバを用いた検証手法とアセンブリコードのモデル化について提案し,簡単なアセンブリプログラムに対して提案した手法による性質検証を行なった.

In this paper, we state property verification by Bounded Model Checking using SMT solver for register level model of assembly program code for embedded system. We propose verifying by SMT solver and modeling for assembly code to predicate logic formula, and we experimented on our method for simple assembly program.

収録刊行物

  • 電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学

    電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 112(314), 19-24, 2012-11-15

    一般社団法人電子情報通信学会

参考文献:  16件中 1-16件 を表示

各種コード

  • NII論文ID(NAID)
    110009642391
  • NII書誌ID(NCID)
    AN10386841
  • 本文言語コード
    JPN
  • 資料種別
    ART
  • ISSN
    0913-5685
  • NDL 記事登録ID
    024151738
  • NDL 請求記号
    Z16-940
  • データ提供元
    CJP書誌  NDL  NII-ELS 
ページトップへ