文件名称：spin model checker
文件大小：382KB
文件格式：ZIP
更新时间：2011-05-03 15:10:58
spin
model checker
【文件预览】：
pftp
mobile1.ltl
leader
mobile2
leader.ltl
wordcount
README.html
whatispin.html
pathfinder
sort
mobile1
priorities
mobile2.ltl
loops
peterson
eratosthenes
GettingStarted.html
leader_trace
spinner.gif
petersonN
leader2
hello
spinlogo.gif
xspin430.tcl
Roadmap.html
spin.exe
snoopy
spinlogo2.gif