SPINモデルチェッカ
1. SPIN model checkerSPIN is a general tool for verifying the correctness of distributed software models in a rigorous and mostly automated fashion. It was written by Gerard J. Holzmann and others in the original Unix group of the Computing Sciences Research Center at Bell Labs, beginning in 1980. The software has been available freely since 1991, and continues to evolve to keep pace with new developments in the field.
Read “SPIN model checker” on English Wikipedia
Read “SPINモデルチェッカ” on Japanese Wikipedia
Read “SPIN model checker” on DBpedia
Read “SPIN model checker” on English Wikipedia
Read “SPINモデルチェッカ” on Japanese Wikipedia
Read “SPIN model checker” on DBpedia
Discussions
Log in to talk about this word.