 |
4日で学ぶモデル検査 (初級編) (CVS教程 (1)) | |
 |
SPINモデル検査―検証モデリング技法 | |
 |
The Spin Model Checker: Primer and Reference Manual | |
 |
Concurrency: State Models & Java Programs | |
 |
プログラム仕様記述論 (IT Text) | |
 |
形式手法モデル理論アプローチ―情報システム開発の基礎 | |
 |
形式手法の技術講座―ソフトウェアトラブルを予防する | |
 |
ソフトウェア開発のモデル化技法 | |
 |
ソフトウェア工学の基礎 | |
 |
Systems and Software Verification: Model-Checking Techniques and Tools |