割込み遷移削減手法を導入した組込みアセンブリコード向けSMTベースモデル検査器の開発

• 小橋 潤平

• 竹下 淳

• 山根 智

書誌事項

タイトル別名

• ワリコミ センイ サクゲン シュホウ オ ドウニュウ シタ クミコミ アセンブリコード ムケ SMT ベースモデル ケンサキ ノ カイハツ
• Development of SMT-based model checker for assembly codes using an interrupt reduction technique
• システム数理と応用
• システム スウリ ト オウヨウ

収録刊行物

• 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 114 (493), 53-58, 2015-03

  東京 : 電子情報通信学会

キーワード

• 形式的検証
• プログラム検証
• アセンブリ言語
• SMTソルバ
• 有界モデル検査
• Formal Verification
• Program Checking
• Assembler Language
• SMT-Based BMC
• Bounded Model Checking

詳細情報

• CRID: 1520009407799270912
• NII論文ID: 110010017539
• NII書誌ID: AA1123312X
• ISSN: 09135685
• NDL書誌ID: 026327587
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I026327587
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
• データソース種別:
  • NDL
  • CiNii Articles