Web-interface for Spin
examples - cheat sheet
sources - about
+
Stop after steps

Mode:

Name of LTL formula:

Minimal mode Basic editor
Spin's output will appear here.