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.