International Workshop on System Verification

Programme

All lectures are 45 minutes, followed by 10 minutes question time, and a 20 minutes break

Time________	Speaker	Title
9.00 - 9:45	John Matthews Galois Connections	Cross-Domain System Verification at Galois Connections
10.15 - 11:00	Thomas Wies Max-Planck-Institut für Informatik	Jahob: A System for Verifying Data Structure Consistency
11:30 - 12:15	Harvey Tuch NICTA ERTOS	A Unified Memory Model for Separation Logic
12:30 - 13:30	Lunch
13:30 - 14:15	Jia Meng NICTA Logic & Computation	Combining Interactive and Automatic Theorem Proving
14:45 - 15:30	Ansgar Fehnker NICTA Formal Methods	Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols
16:00 - 16:45	Norbert Schirmer Technical University Munich	Integration of Software-Model-Checking into Functional Verification of Imperative Programs
17.00	Repose
19.00	Dinner at Zaaffran

Time________	Speaker	Title
9.00 - 9:45	Hendrik Tews University of Nijmegen	Virtual lecture: Well-behaved Memory on Top of Virtual Memory
10.15 - 11:00	David Hardin Rockwell Collins	A Robust Machine Code Proof System for Improved Secure System Evaluation
11:30 - 12:15	Ralf Huuck NICTA Formal Methods	Goanna - A Static Model Checker
12:30 - 13:30	Lunch
13:30 - 14:15	Sarah Hoffman ST Microelectronics	Using the B Method for the Construction of Micro-kernel Based Systems: A Practical Approach
14:45 - 15:30	Jan Dörrenbächer University of Saarbrücken	VAMOS Microkernel, Formal Models and Verification
16:00 - 16:45	Philip Derrin NICTA ERTOS	An Executable Specification of a High-Performance Microkernel in Haskell
17.00	Closing