Art

J-GLOBAL ID：200902296400332353   Reference number：07A0637279

Automatic model generation of the assembler program for model checking

アセンブラのモデル検査におけるモデルの自動生成について

Author (2)： USAMI MASANORI (イーソル) ,  FUJIKURA TOSHIYUKI (イーソル)
Material： 情報処理学会研究報告  (IPSJ SIG Technical Reports)
Volume： 2007  Issue： 52(SE-156 EMB-5)  Page： 5-10  Publication year： May. 28, 2007 
JST Material Number： Z0031B  ISSN： 0919-6072  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *model checking ,...
Semi thesaurus term： assembly language ,...

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

JST classification (2)： Theory of computation  (JB02000A) ,  Language processors  (JD03040F)

Reference (4)：

• モデル検査ツールNuSMV. http://nusmv.irst.itc.it/
• モデル検査ツールBLAST. http://mtc.epfl.ch/software-tools/blast/
• モデル検査ツールBANDERA. http://bandera.projects.cis.ksu.edu/
• 篠崎孝一. 組込みソフトウェア開発のイン-デザイン モデル検査 -設計工程における仕様書のモデル検査の提案-. ソフトウェアテストシンポジウム2004. 2004

Terms in the title (4)： アセンブラ ,  モデル検査 ,  モデル ,  自動生成