SPINモデルチェッカ
SPINモデルチェッカ（英: SPIN model checker）は、ソフトウェアのモデル検査のためのツールである。 Gerard J. Holzmann らが開発し、15年以上に渡って改良を続けてきた。
SPINモデルチェッカ（英: SPIN model checker）は、ソフトウェアのモデル検査のためのツールである。 Gerard J. Holzmann らが開発し、15年以上に渡って改良を続けてきた。
SPINモデルチェッカ（英: SPIN model checker）は、ソフトウェアのモデル検査のためのツールである。 Gerard J. Holzmann らが開発し、15年以上に渡って改良を続けてきた。
出典: Wikipedia「SPINモデルチェッカ」 · CC BY-SA 4.0
この記事を共有: X · Bluesky