Web-interface for the Spin model checker. Find an example on http://spin.nowplea.se
You can install the interface without git as follows (example directory: /var/www:
/var/www # wget https://github.com/bvdelft/spin-web/archive/master.zip
The license provided in the LICENSE file applies on all original code; in particular it excludes the ACE editor (which is distributed under the BSD license)