Assignment: Verification of protocols using SPIN and PROMELA

Cancelled Posted Mar 26, 2012 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.

Algorithm C Programming Mathematics Matlab and Mathematica Software Architecture

Project ID: #1528334

About the project

Remote project Active Apr 6, 2012