文献

J-GLOBAL ID：200902212284385135   整理番号：07A0909541

実用化に向けたモデル検査適用手法の開発

Development of Method for Practical Application of Model Checking

著者 (3件)： 池田信之 (東芝) ,  今村紀子 (東芝) ,  高田沙都子 (東芝)
資料名： 東芝レビュー  (Toshiba Review)
巻： 62  号： 9  ページ： 46-49  発行年： 2007年09月01日 
JST資料番号： F0360A  ISSN： 0372-0462  CODEN： TORBA  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 近年,ソフトウェアは社会インフラシステムや組込みシステムとし...

シソーラス用語： *モデル検査 ,...

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

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (2件)：

• 産業技術総合研究所システム検証研究センター.4日で学ぶモデル検企. 東京, 産業技術総合研究所 エヌ・ティー・エス, 2006, 174p.
• G. J. Holzmann. THE SPIN MODEL CHECKER. Boston, Addison-Wesley, 2003, 596p.

タイトルに関連する用語 (4件)： 実用化 ,  モデル検査 ,  手法 ,  開発