A new approach to temporal property verification

Speaker  Byron Cook

Affiliation  MSR Cambridge

Host  Tom Ball

Duration  00:54:55

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.
> A new approach to temporal property verification