国立国会図書館サーチ(NDL SEARCH)
検索を開く
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
雑誌
電子情報通信学会技術研究報告 : 信学技報
巻号
112(113)-112(117):2012.7.2-2012.7.6
記事
組込みソフトウェアの...
組込みソフトウェアのアセンブラのSMT検証 (VLSI設計技術)
記事を表すアイコン
組込みソフトウェアのアセンブラのSMT検証
(VLSI設計技術)
国立国会図書館請求記号
Z16-940
国立国会図書館書誌ID
023872433
資料種別
記事
著者
竹下 淳ほか
出版者
東京 : 電子情報通信学会
出版年
2012-07
資料形態
紙
掲載誌名
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 112(114):2012.7.2・3
掲載ページ
p.37-42
すべて見る
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
書誌情報を出力
紙
資料種別
記事
タイトル
組込みソフトウェアのアセンブラのSMT検証
著者・編者
竹下 淳
小橋 潤平
山根 智
シリーズタイトル
VLSI設計技術
著者標目
竹下 淳
小橋 潤平
山根 智
並列タイトル等
Verification of embedded software in Assembly code by SMT prover
タイトル(掲載誌)
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
巻号年月日等(掲載誌)
112(114):2012.7.2・3
掲載巻
112
掲載号
114
掲載ページ
37-42
掲載年月日(W3CDTF)
2012-07
ISSN(掲載誌)
0913-5685
ISSN-L(掲載誌)
0913-5685
出版事項(掲載誌)
東京 : 電子情報通信学会
出版地(国名コード)
JP
本文の言語コード
jpn
件名標目
SMTソルバー
有界モデル検査
静的単一代入(SSA)
組込みアセンブリプログラム
SMT solver
Bounded Model Checking
Single Static Assignment (SSA)
embedded assembly program
NDLC
ZN33
対象利用者
一般
レポート番号(雑誌記事)
VLD2012-17
所蔵機関
国立国会図書館
請求記号
Z16-940
連携機関・データベース
国立国会図書館 : 国立国会図書館雑誌記事索引
https://ndlsearch.ndl.go.jp
書誌ID(NDLBibID)
023872433
http://id.ndl.go.jp/bib/023872433
整理区分コード
632
もっと見る