A forum for Spin users
You are not logged in.
Pages: 1
sir, when i was verifying Leader Election Algorithm given in Exercise.html [ [url]http://spinroot.com/spin/Man/Exercises.html[/url] ] it is saying that
unreached in proctype node
leader:48, state 28, "out!two,nr"
i don't understand why it is saying this or is their anything missing in specification?
Offline
then for removing this flaw or to make model of leader election correct what i have to do?
Is their any correction for this?
Offline
that's not anything that i can help you with
spin is designed to find errors, only you as the user or as the designer of the algorithm that you are verifying, can decide how to fix the errors that spin finds...
Offline
Pages: 1