Speaker Byron Cook
Affiliation MSR Cambridge
Host Tom Ball
Date recorded 28 October 2011
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
©2011 Microsoft Corporation. All rights reserved.