İptal Edildi

Creating model using Spin software

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).

Beceriler: Matematik, Yazılım Mimarisi, Yazılım Test Etme

Daha fazlasını gör: spin model checker download, spin language tutorial, spin model checker examples, spin rules tutorial, the spin model checker pdf, spin beginners tutorial, spin model checker tutorial, the spin model checker: primer and reference manual, statistical analysis using spss software, personality test software result looking, sites using surfthechannel software, software companies looking partnership, creating payroll using mysql, sample demo creating report using vbnet, creating music using matlab

İşveren Hakkında:
( 1 değerlendirme ) Warszawa, Poland

Proje NO: #17164563

Bu iş için 3 freelancer ortalamada zł188 teklif veriyor

widadsaghir1993

Hello sir. As a math and time series analysis expert, I'm glad to see your project. If you are online, please contact me. I want to discuss your project in detail. I will wait for you with your good news. Regard Daha Fazla

1 gün içinde %bids___i_sum_sub_32%%project_currencyDetails_sign_sub_33% PLN
(40 Değerlendirme)
6.3
1 gün içinde %bids___i_sum_sub_32%%project_currencyDetails_sign_sub_33% PLN
(14 Değerlendirme)
5.0
in %bids___i_period_sub_35% gün içinde90%project_currencyDetails_sign_sub_37% %project_currencyDetails_code_sub_38%
(0 Değerlendirme)
0.0