A new approach to temporal property verification

  • 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 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.

接下来观看