Queen's Logo

CISC836: Models in Software Development: methods, techniques, and tools (Fall 2009)

Assignments

[Home] [Content] [Schedule] [Readings] [Assignments] [Projects]

There will be 3 assignments: one on Alloy, one on Promela/Spin, and one on kiltera.

Assignment 1

Assignment 2

Assignment 3

Last modified: Wed Nov 4 12:31:23 EST 2009