文献

J-GLOBAL ID：200902143243336390   整理番号：02A0488178

充足可能性判定を用いたモデル検査ツールの実装

Implementing a SAT-Based Model Checking Tool.

著者 (3件)： 田中崇浩 (大阪大 大学院情報科学研究科) ,  土屋達弘 (大阪大 大学院情報科学研究科) ,  菊野亨 (大阪大 大学院情報科学研究科)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 102  号： 27(CPSY2002 1-11)  ページ： 1-6  発行年： 2002年04月19日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 記号モデル検査とは,有限状態機械としてモデル化されたシステム...

シソーラス用語： *充足可能性問題 ,...
準シソーラス用語： モデル検証 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=02A0488178&from=J-GLOBAL&jstjournalNo=S0532B") }}

分類 (2件)： 人工知能  (JE08000Z) ,  計算理論  (JB02000A)

タイトルに関連する用語 (4件)： 充足可能性 ,  モデル検査 ,  ツール ,  実装