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

发言人详细信息

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.

日期：
演讲者：
Byron Cook
所属机构：
MSR Cambridge