記号実行による組込みアセンブリプログラムのソフトウェアモデル検査

• 公下 亮佑

• 山根 智

書誌事項

タイトル別名

• キゴウ ジッコウ ニ ヨル クミコミ アセンブリプログラム ノ ソフトウェア モデル ケンサ
• Software model checking of embedded assembly programs by symbolic execution
• 信号処理
• シンゴウ ショリ

収録刊行物

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

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115 (89), 77-81, 2015-06

  東京 : 電子情報通信学会

キーワード

• 記号実行
• 組込みアセンブリプログラム
• ソフトウェアモデル検査
• symbolic execution
• embedded assembly program
• software model checking

詳細情報

• CRID: 1520009407505493632
• NII論文ID: 40020522929
• NII論文ID: 40020523075
• NII論文ID: 40020523273
• NII論文ID: 40020523186
• NII書誌ID: AA1123312X
• ISSN: 09135685
• NDL書誌ID: 026586126
• NDL書誌ID: 026585798
• NDL書誌ID: 026586224
• NDL書誌ID: 026585995
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I026586126
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I026585798
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I026586224
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I026585995
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
• データソース種別:
  • NDL
  • CiNii Articles