jSpin questions & answers

A GUI for the Spin model checker that verifies concurrent & distributed programs

Ask a question about jSpin

Alternative downloads

Spin & Win Trial
rating

Spin and play different challenges to earn and win money.

Reloop Spin
rating

Spin! - that is Reloop's trend-setting digital vinyl system.

Crystal Spin
Free
rating

You can experience the casino life directly from your desktop computer.