Export or edit this event...

A New Approach to Temporal Property Verification, Byron Cook, Principal Researcher, Microsoft Research Cambridge and Professor of Computer Science at Queen Mary, University of London

Portland State University FAB, Room 86-09
1900 SW Fourth Avenue
Portland, Oregon 97201, US (map)

Access Notes

Building is at 4th and College. Room 86-01 is in the basement, take the elevator or stairs down to basement and follow the signs.

Enter at 1900 SW Fourth Avenue. Take the stairs to the basement and turn right. Go to room 86-01.



We 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 brings some light to a couple of age-old questions.