CIS 461: Formal Methods for Software Engineering Demo: Cruise Control

Fall 2012, UMass Dartmouth

Instructor: Dr. Haiping Xu


There is a subtle design error in the following cruise control system for a car. Can you find it?



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:


Haiping Xu

Last modified: August 21, 2012