- ホーム
- > 和書
- > 工学
- > 電気電子工学
- > 電気工学・電子・通信工学その他
目次
モデル検査とは
例題「システムα」―モデル検査の基礎
例題「ランプ点灯?」
例題「Mini Life Game」窓辺の花
例題「ウサギちゃんとオオカミくん」
例題「並行システムと排他制御」
LTL式の概要
例題「3進カウンタ」
例題「階段ぴょんぴょん」
例題「プログラム(C言語)の試験」実践練習
演習「自動販売機」
仕様記述言語Promela
NuSMVの仕様記述言語
命題論理式の真偽
演習環境について
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
kaizen@名古屋de朝活読書会
12
4日で学ぶモデル検査 (初級編)の改訂版 CD-ROMが同梱していない点だけが残念。 並列処理などについての扱いがない点について要望を聞くが、 実際の現場では、すぐに動かして、すぐに使えて、 すぐに問題が分かることが先決。 機能のすべてを使うことが目的ではなく、 実際の設計の際に、訳に立つかどうかが決めて。 従来の書籍では、道具優先で課題が不明確だったが、 本書は、限定した課題に絞ることにより、 道具を使いこなす楽しみを明確にしてくれたと思う。 2020/03/08
明るいくよくよ人
0
例題・書き方等初学者にとっては、とてもよく考えられた本ですねぇ。 特に、最後のAppendixの記載は、簡潔だけど初心者が混乱するようなことがスパット書かれていて、気持ちいい。 ほんとに4日もあれば、十分に読み切れます。さて、上級編にうつるか。2012/05/22
eve
0
パラパラと飛ばしながら読んだ。「まずは簡単な例から入り後から厳密な定義や意味を列挙する」という順序で書かれているため、初学者にはとても理解しやすいだろう。モデル検査のイメージが確実に掴め、時相論理式の表現領域も少し理解が深まった。2012/02/05