A forum for Spin users
You are not logged in.
Pages: 1
then for removing this flaw or to make model of leader election correct what i have to do?
Is their any correction for this?
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?
sir i want to know that, is their any tool or software available which convert C code in to PROMELA?
let their are 2 atomic section in a process P and in init process i created 3 instance of that process P then in execution let 1st instance of P is inside 1st atomic section then, are other 2 instance of process P is allowed to enter 2nd atomic section without executing 1st atomic section or not?
Basically i want to know what will be the execution sequence.
Thanks for yous reply sir.........
I want to send a string between 2 processes. Please any one help me for this. I am not getting how to send a bulk of character at a time between processes.
Pages: 1