国立国会図書館サーチ(NDL SEARCH)
検索を開く
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
雑誌
電子情報通信学会技術研究報告 : 信学技報
巻号
113(421)-113(425):2014.1.30-2014.1.31
記事
CISC型組込みアセ...
CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査 (システム数理と応用)
記事を表すアイコン
CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査
(システム数理と応用)
国立国会図書館請求記号
Z16-940
国立国会図書館書誌ID
025277964
資料種別
記事
著者
竹下 淳ほか
出版者
東京 : 電子情報通信学会
出版年
2014-01
資料形態
紙
掲載誌名
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113(421):2014.1.30・31
掲載ページ
p.65-70
すべて見る
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
書誌情報を出力
紙
資料種別
記事
タイトル
CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査
著者・編者
竹下 淳
小橋 潤平
山根 智
シリーズタイトル
システム数理と応用
著者標目
竹下 淳
小橋 潤平
山根 智
並列タイトル等
Bounded model checking based in SMT for CISC embedded assembly programs
タイトル(掲載誌)
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
巻号年月日等(掲載誌)
113(421):2014.1.30・31
掲載巻
113
掲載号
421
掲載ページ
65-70
掲載年月日(W3CDTF)
2014-01
ISSN(掲載誌)
0913-5685
ISSN-L(掲載誌)
0913-5685
出版事項(掲載誌)
東京 : 電子情報通信学会
出版地(国名コード)
JP
本文の言語コード
jpn
件名標目
SMTソルバ
有界モデル検査
組込みシステム
アセンブリプログラム
形式検証
SMT solver
Bounded Model Checking
Embedded System
Assembly Program
Formal Verification
NDLC
ZN33
対象利用者
一般
レポート番号(雑誌記事)
MSS2013-62
所蔵機関
国立国会図書館
請求記号
Z16-940
連携機関・データベース
国立国会図書館 : 国立国会図書館雑誌記事索引
https://ndlsearch.ndl.go.jp
書誌ID(NDLBibID)
025277964
http://id.ndl.go.jp/bib/025277964
整理区分コード
632
もっと見る