CIS 461: Formal Methods for Software Engineering Demo: Cruise Control
Fall 2012, UMass Dartmouth
Instructor: Dr. Haiping Xu
Instruction: Simulate the behaviour of a cruise control system for a car. After starting the engine, to accelerate, keep pressing the accelerate button. To brake, keep pressing the brake button.
Find more resource from the textbook web site: http://www.doc.ic.ac.uk/~jnm/book/
Last modified: August 21, 2012