Web-interface for the Spin model checker.