issues
search
motib
/
jspin
GUI for running the SPIN model checker
15
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Improved assembly's usability
#10
khovanskiy
opened
7 years ago
0
Wrong results when there are spaces in directory names
#9
GoogleCodeExporter
opened
9 years ago
2
Verify error
#8
GoogleCodeExporter
opened
9 years ago
8
An IO exception
#7
GoogleCodeExporter
opened
9 years ago
1
SpinSpider (automata): transitions from init to proctype
#6
GoogleCodeExporter
opened
9 years ago
1
couldn't find java SE runtime environment
#5
GoogleCodeExporter
opened
9 years ago
4
GUI look and feel does not match platform
#4
GoogleCodeExporter
opened
9 years ago
0
file pan not found
#3
GoogleCodeExporter
opened
9 years ago
5
Peterson Algorithm and "Non-progress" Verification causes "pan: non-progress cycle (at depth 12)"
#2
GoogleCodeExporter
opened
9 years ago
1
SpinSpider does not create Visualization
#1
GoogleCodeExporter
opened
9 years ago
5