Creating model using Spin software
Peruttu
Julkaistu
5 vuotta sitten
Maksettu toimituksen yhteydessä
zł30-90 PLN
Maksettu toimituksen yhteydessä
Peruttu
Maksettu toimituksen yhteydessä
I am looking for someone who could write a simple model using Promela language 'Leader election using ring'. I got a code and documentation for that and I have to consider two cases:
1) all nodes have different IDs
2) two nodes have the same ID
but still, I got problems with installing Spin.
I need an output model (screens).
Projektin tunnus: #17164563
Tietoa projektista
1 ehdotus
Etäprojekti
Aktiivinen 5 vuotta sitten