2108 Final Presentations

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
Justin Ward

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
specifying behaviour and defining refinement across languages
Colin Stewart

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