没有合适的资源?快使用搜索试试~ 我知道了~
jspin安装包
共65个文件
java:27个
pml:17个
txt:4个
5星 · 超过95%的资源 需积分: 32 39 下载量 184 浏览量
2013-08-15
11:26:12
上传
评论
收藏 531KB ZIP 举报
温馨提示
jSpin is a graphical user interface for the Spin model checker that is used for verifying concurrent and distributed programs.
资源推荐
资源详情
资源评论
收起资源包目录
jspin-5-0.zip (65个子文件)
docs
third.png 5KB
jspin.png 33KB
jspin-user.pdf 267KB
third-automata.png 4KB
spin-card.tex 11KB
spd.png 13KB
jspin-user.tex 42KB
spin-card.pdf 74KB
spider-examples
second.pml 303B
sem-busy.pml 335B
fourth.pml 483B
fair.pml 162B
sem3.pml 312B
sem-ch.pml 353B
first.pml 179B
third.pml 251B
run-spider.bat 67B
run-filter.bat 51B
spinSpider
Write.java 10KB
SpinSpider.java 10KB
Config.java 3KB
Trail.java 324B
Transition.java 531B
State.java 1KB
SetTrail.java 2KB
DrawAutomata.java 3KB
Read.java 8KB
Statement.java 1KB
jspin.jar 77KB
build.bat 202B
filterSpin
FilterSpin.java 3KB
Filter.java 9KB
Config.java 2KB
run.bat 25B
jspin
Filter.java 9KB
SpiderOptions.java 8KB
ImagePanel.java 740B
Config.java 18KB
Options.java 4KB
SpiderFile.java 3KB
RunSpin.java 13KB
MANIFEST.MF 50B
Excluded.java 2KB
DisplayImage.java 947B
UndoRedo.java 3KB
jSpin.java 39KB
Editor.java 11KB
JSpinFileFilter.java 916B
LineNumbers.java 2KB
jspin.ico 2KB
txt
copyright.txt 924B
gpl.txt 18KB
fdl.txt 20KB
help.txt 3KB
jspin-examples
second.pml 426B
sem-busy.pml 248B
fourth.pml 664B
critical.h 837B
dekker.pml 1021B
frogs.pml 2KB
sem-ch.pml 470B
count.pml 476B
barz.pml 980B
third.pml 417B
config.cfg 969B
共 65 条
- 1
资源评论
- wanghui1103509002014-06-24这个非常需要 找了好久
- BaoZi2016-02-21资源不错,值得下载!
- ming82018-11-02已下载,正在研究怎么使用
kuangshiling666
- 粉丝: 1
- 资源: 1
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功