Latest Topics

Random Topics

SPIN model checker

Summary

  • SPIN is a tool for software model checking. It was written by Gerard J.

 

Soundex: S153 ( S15 M34 C26 )

Metaphone: SPNMTLXKR

Reference

Similar Topics

Related Topics

  * This page is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "SPIN model checker".

  texts ©wikipedia, algorithm ©misspedia