Web-interface for Spin
examples - course material - cheat sheet
sources - about
+

Simulate

Verify

Name of LTL formula:

Mode:

TDA293

Here we add buttons for running test suites etc.

Other

Spin's output will appear here.