Change #11275
2011-10-21
15:59:11
|
create
Calagator::Event
1250461509
A New Approach to Temporal Property Verification, Brian Cook, Principal Researcher, Microsoft Research Cambridge and Professor of Computer Science at Queen Mary, University of London
Roll back
description |
nil |
→ |
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. |
end_time |
nil |
→ |
2011-10-21 17:00:00 -0700 |
id |
nil |
→ |
1250461509 |
start_time |
nil |
→ |
2011-10-21 16:00:00 -0700 |
title |
nil |
→ |
A New Approach to Temporal Property Verification, Brian Cook, Principal Researcher, Microsoft Research Cambridge and Professor of Computer Science at Queen Mary, University of London |
url |
nil |
→ |
http://www.cs.pdx.edu |
venue_details |
nil |
→ |
Enter at 1900 SW Fourth Avenue. Take the stairs to the basement and turn right. Go to room 86-01. |
venue_id |
nil |
→ |
202393017 |
|