The Paris Kanellakis Annual Lecture


"Progress in System Modeling and Testing"

Dr. Mihalis Yannakakis, Avaya Laboratories

Thursday, November 29, 2001 at 4:00 P.M.

Lubrano Conference Room

As software systems become larger and more complex, it becomes that much harder to design and test them to ensure their correct functioning. This is especially the case for control-oriented systems such as communications systems. In this talk we will present some of the work we have been doing in recent years to help in this task. The approach involves the formal modeling of requirements and systems, and the development of algorithms for their analysis, and for the automated generation of effective tests.