A new approach to temporal property verification

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

Speaker Details

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.

Date:
Speakers:
Byron Cook
Affiliation:
MSR Cambridge