Art

J-GLOBAL ID：200902143243336390   Reference number：02A0488178

Implementing a SAT-Based Model Checking Tool.

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

Author (3)： TANAKA TAKAHIRO (大阪大 大学院情報科学研究科) ,  TSUCHIYA TATSUHIRO (大阪大 大学院情報科学研究科) ,  KIKUNO TOORU (大阪大 大学院情報科学研究科)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 102  Issue： 27(CPSY2002 1-11)  Page： 1-6  Publication year： Apr. 19, 2002 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *satisfiability problem ,...
Semi thesaurus term： model verification ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=02A0488178&from=J-GLOBAL&jstjournalNo=S0532B") }}

JST classification (2)： Artificial intelligence  (JE08000Z) ,  Theory of computation  (JB02000A)

Terms in the title (4)： 充足可能性 ,  モデル検査 ,  ツール ,  実装