Assignment: Verification of protocols using SPIN and PROMELA
Cancelled
Posted
Mar 26, 2012
Paid on delivery
$30-50 USD
Paid on delivery
Cancelled
Paid on delivery
The project is an assignment about Protocol verification. Using SPIN tool and PROMELA answer the questions about each one of the 3 protocol verifications:
[url removed, login to view] of the Alternating-bit protocol, 2. Verification of an Interface Standard, 3. Verification of Petri Nets
The completed project should have 1: full documentation for each anwser and 2: the needed screenshots of the tool. See the attached document for full info.
Project ID: #1528334
About the project
Remote project
Active Apr 6, 2012