記事・論文
| タイトル | 準形式的モデル検査のハードウェア実装による高速化の検討 |
|---|---|
| 著者 | 森下 賢志 |
| 著者 | 吉田 浩章 |
| 著者 | 藤田 昌宏 |
| シリーズ名 | システムLSI設計技術・組込みシステム・組込技術とネットワークに関するワークショップETNET2008 |
| 出版地（国名コード） | JP |
| 別タイトル | A hardware acceleration for semi-formal model checking |
| 出版年(W3CDTF) | 2008-03 |
| 件名（キーワード） | モデル検査 |
| 件名（キーワード） | Model Checking |
| NDLC | ZM13 |
| 対象利用者 | 一般 |
| 資料の種別 | 記事・論文 |
| 掲載誌情報（URI形式） | https://iss.ndl.go.jp/books/R100000002-I000000042852-00 |
| 掲載誌情報（ISSN形式） | 09196072 |
| 掲載誌情報（ISSN-L形式） | 09196072 |
| 掲載誌名 | 情報処理学会研究報告 = IPSJ SIG technical reports |
| 掲載巻 | 2008 |
| 掲載号 | 32 |
| 掲載ページ | 115～120 |
| 言語（ISO639-2形式） | jpn : 日本語 |
