About this document

Transition Systems in Formal Verification by Sujatha Aarushi is a document available to read on EtoBox.

The document contains three questions about formal specification and verification: 1. Model a coffee machine that delivers coffee, espresso, or cappuccino depending on how many times a button is pressed using a transition system. 2. Specify the transitions of a traffic light controller that switches lights in the order: green A1, A2, A3, A1, A2, A3. 3. Write a PROMELA program to simulate two process synchronization programs using a shared variable x to determine turn taking in critical sections.

Author

Sujatha Aarushi

Language

EN