CS3211-Tut8 - CS3211 Parallel and Concurrent Programming...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CS3211 Parallel and Concurrent Programming – Guidelines for tutorial (22-26 March 2010) Sample Exercises: [Please conduct these as an interactive discussion, rather than an evaluation. Please also make it clear to the students that they are not being evaluated for their performance in these exercises, so that they are not afraid to make mistakes while answering.] 1. What action trace violates the following safety property? Property PS = (a -> (b->PS | a-> PS) | b->a->PS). Answer: /* Trace to property violation in PS: b b */ 2. A lift has a maximum capacity of ten people. In the model of the lift control system, passengers entering the lift are signalled by an enter action, and passengers leaving the lift are signalled by an exit action. Specify a safety property as a process equation which when composed with the lift will check that the system never allows the lift to have more than 10 occupants....
View Full Document

This note was uploaded on 12/02/2011 for the course CS 3211 taught by Professor Dunnowho during the Spring '11 term at National University of Singapore.

Page1 / 2

CS3211-Tut8 - CS3211 Parallel and Concurrent Programming...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online