course_outline
This is an old revision of the document!
Table of Contents
Course Outline
Week 1: Jan 4
Introductory Lecture. What are formal methods? Why formal methods? Our slides in class are taken from Chapter 1: Introduction.
Writing a user requirements document (URD). URD for the bridge controller. The initial Event-B model for the bridge controller (up to slide 33 of Chapter 2: Controlling cars on a bridge).
Required readings: Text Chapter I (pages 1-16). Text Chapter II (up to page 33)
Week 2: Jan 18
First refinement of the bridge, i.e. up to slide 84 of the bridge slides.
course_outline.1263587927.txt.gz · Last modified: 2010/01/15 20:38 by jonathan