Multimedia |
Messengers |
Desktop |
Development |
Education |
Games |
Graphics |
Networking |
Security |
Servers |
Utilities |
Web Dev
jSpin
By Mordechai Ben-Ari
Rating:
2.7/5 (3)
2.7/5 (3)
License type:
Freeware
Latest version:
5.0
Last updated:
February 17th, 2012
jSpin is a graphical user interface for the Spin model checker that is used for verifying concurrent and distributed programs. It is an alternative to the XSpin GUI and was developed primarily for...
