文件名称:spin-web:Spin 模型检查器的 Web 界面
文件大小:625KB
文件格式:ZIP
更新时间:2024-07-30 14:48:43
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)