d8d*_*f42 5 model-checking spin promela
The "Automata View" in iSpin (v. 1.1.4) shows .. exactly what? It seems it is just a graph of the control flow of one process.
How would I get the full state space of the system?
例如，在Ben-Ari：自旋模型检查器的原理中，我想要图4.1。或在Overview中，我想要图1。