Start Time | End Time | Event |
---|---|---|
Sunday 29 January 2006 | ||
10:00 | 10:15 | Opening Remarks |
10:15 | 10:55 |
Selected Methods for Verification of Parametrized Systems.
Wojciech Golab. |
11:00 | 11:40 |
Filesystem Specification and Verification
Kelvin Ku |
11:40 | 12:00 | Break (20 minutes) |
12:00 | 12:40 |
Termination of Linear Programs.
Mark Braverman. |
12:45 | 13:15 |
Toward Some Overwhelming Question
Using the Prufrock Framework for Compositional Verification |
13:20 | 14:00 | Lunch (40 minutes) |
14:00 | 15:00 |
Exploiting Resolution Proofs for Vacuity
Detection in Bounded Model Checking.
Jessica Davis and Jocelyn Simmonds. |
15:00 | 15:05 | Break (5 minutes) |
15:05 | 15:45 |
Unbounded Model Checking using a Circuit-Based All-Solution SAT Solver
Sean Safarpour |
15:45 | 16:00 | Break (15 minutes) |
16:00 | 16:40 |
Bridging the gap between specification and implementation
Exploring the use of abstract state machines for |
16:40 | 17:40 |
Securing Software with MOPS and BLAST.
Tom Hart and Lionel Litty. |
17:40 | 18:00 | Break (20 minutes) |
18:00 | 18:40 |
Analysing FIFO Systems
Anya Tafliovich |
This page was created by Arie Gurfinkel with KOrganizer