E. Allen Emerson Endowed Professor of Computer Sciences, Computer Sciences Department, University of Texas

Model Checking Many Systems


Model checking has established itself as a popular and successful verification method. The key shortcoming remains state explosion. This talk discusses strategies exploiting similarity of subcomponents that make it possible in many cases to largely overcome state explosion.

Short Bio

E. Allen Emerson received the BS in Mathematics at the University of Texas and the PhD in Applied Mathematics at Harvard. One outcome of his time at Harvard, where he was the first PhD student of Ed Clarke, was their invention of model checking. He shared in the ACM Kanellakis Theory and Practice Award for symbolic model checking. He is now  Endowed Professor of Computer Sciences at the University of Texas.