Documents Traffic Light Controller Examples in SMV Himanshu Jain Bug catching (Fall 2007)

Slide 1 Traffic Light Controller Examples in SMV Himanshu Jain Bug catching (Fall 2007) Slide 2 1 Plan for today  Modeling Traffic Light Controller in SMV  Properties…