spin-web:Spin 模型检查器的 Web 界面

【文件属性】：
文件名称：spin-web:Spin 模型检查器的 Web 界面
文件大小：625KB
文件格式：ZIP
更新时间：2021-07-10 21:02:03
JavaScript 纺网 Spin 模型检查器的 Web 界面。 在上查找示例 安装 可以不使用git安装界面如下（示例目录： /var/www ： /var/www # wget https://github.com/bvdelft/spin-web/archive/master.zip 执照 LICENSE 文件中提供的许可证适用于所有原始代码； 特别是它不包括 ACE 编辑器（在 BSD 许可下分发）

【文件预览】：
spin-web-master
----functions.php(671B)
----img()
--------close.png(907B)
--------restore.png(762B)
----upload.html(1013B)
----spin.tar.gz(307KB)
----index.html(25KB)
----course-code()
--------promela_e1_else.pml(99B)
--------channels_e3.pml(692B)
--------proxy.pml(4KB)
--------promela_e2.pml(382B)
--------promela_e1.pml(119B)
--------promela_e3.pml(185B)
--------Philosophers.pml(257B)
--------NS.pml(3KB)
--------channels_e1.pml(223B)
--------promela_e1_true.pml(98B)
--------channels_e2.pml(425B)
----LICENSE(483B)
----save.php(222B)
----upload.php(1KB)
----spin.php(8KB)
----INSTALL.TXT(223B)
----lib()
--------ace()
----README.md(468B)
----settings.php(761B)
----jspin-examples()
--------second.pml(426B)
--------sem-busy.pml(248B)
--------fourth.pml(664B)
--------dekker.pml(1021B)
--------frogs.pml(2KB)
--------sem-ch.pml(470B)
--------count.pml(476B)
--------barz.pml(980B)
--------third.pml(417B)
----style.css(5KB)
----script.js(25KB)