musicalchairs-soln

musicalchairs-soln - UNIVERSITY OF WATERLOO Cheriton Scho...

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

View Full Document Right Arrow Icon
UNIVERSITY OF WATERLOO Cheriton School of Computer Science CS245 Logic and Computation Spring 2009 CLASS EXERCISE 16 This is a “reading” exercise to be done individually. This exercise shows a Z specification for the game of “Musical Chairs”. There are five questions about the specification that you should answer to. I will notify you during the lecture when you have seen enough materials to be able to answer these questions. We will ask you to return the page for our review, then will give it back to you. (This reading exercise is worth a full-mark credit.) The game involves a collection of chairs and players. There is always one less chair than players. In each round the players walk around while music plays and when the music goes oF, the players must immediately sit on a chair. The person who doesn’t get a chair is eliminated. The winner is the person who gets a chair in the round where there are only two players left. [ Src: Nimal Nissanke, ±ormal Specification , Springer, 1999. ] 1
Background image of page 1

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

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

Page1 / 3

musicalchairs-soln - UNIVERSITY OF WATERLOO Cheriton Scho...

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