A new approach to temporal property verification


October 28, 2011


Byron Cook


MSR Cambridge


I will describe a new approach to the old problem of automatic temporal property verification. As well as leading to dramatic performance improvements over existing techniques, this approach also sheds some light on a couple of age-old questions.

This is joint work with Eric Koskinen


Byron Cook

Byron Cook is a Principal Researcher at Microsoft Research Cambridge, as well as Professor of Computer Science at Queen Mary, University of London. His research interests focus on formal verification, theorem proving, and biological systems. See http://research.microsoft.com/~bycook for more information.