SPINモデルチェッカ
- 読み方、または別称：
- 英: SPIN model checker
SPINモデルチェッカとは
SPINモデルチェッカ（英: SPIN model checker）は、ソフトウェアのモデル検査のためのツールである。Gerard J.
- 出典: フリー百科事典『ウィキペディア（Wikipedia）』
- [ SPINモデルチェッカの改定履歴 ]
情報科学 の SPINモデルチェッカに関する解説。
本記事の内容は公開当時のものです。本コラムに関するご意見等ございましたら、日立ソリューションズまでお問い合わせください。
- 日立ソリューションズのご紹介
- 日立ソリューションズは、オンプレミス・クラウド連携を始めとする豊富なソリューションを、お客様の全体最適の視点で組み合わせ、ワンストップで提供する『ハイブリッドインテグレーション』を実現します。
- 日立ソリューションズについて
- ビジネスコラム
© Hitachi Solutions, Ltd. 2010-2012. All rights reserved.