A forum for Spin users
You are not logged in.
Pages: 1
Hello!
Is it possible to display the state space of 2 interleaved processes with a shared variable?
The GraphViz dot-executable can process one graph and generate one picture. Does this limitation limits the possibility of SpinSpider?
Kind regards,
jockel
Pages: 1