CSSE 373 -- Formal Methods in Specification and Design

                               Quiz 19



Name:_________________________________________    Grade:______________


1. Draw a state diagram that describes the color of the traffic light.











2. Draw a state diagram that describes the message displayed by the
   crosswalk signal.












3. Draw a statechart that describes both the traffic light and the
   crosswalk signal.