IT 絶版
まずはモデル検査を体験しよう!
ソフトウェアの検証法で、今、最も注目されているのがモデル検査です。
「コンピュータの間違いをコンピュータで探す」というこの技術を、本書では付属のCD-ROMを使って、誰でも簡単に体験することができます。
 
 
 
 
PDF形式のファイルをご覧いただくには、お使いのブラウザにAcrobat Readerがインストールされている必要があります。
 
2006年6月8日
本体2,000円+税
192頁
B5
ISBN4-86043-119-7
 
著者
 産業技術総合研究所 システム検証研究センター
 
第1日

モデル検査とは

例題「ランプ点灯」

例題「システムα」 モデル検査の基礎
   
 
第2日

例題「Mini Life Game」窓辺の花

例題:並行システムと排他制御

例題「ウサギちゃんとオオカミくん」
   
 
第3日

LTL式の概要

例題「階段ぴょんぴょん」

例題「3進カウンタ」
   
 
第4日

例題「プログラム(C言語)の試験」実践練習

演習「自動販売機」
 
Copyright (C) 2006 NTS Inc. All right reserved.