Tue 9 Jan 2018 11:00 - 11:30 at Watercourt - Verifying Protocols and Systems Chair(s): James Riely

Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Verifying Protocols and SystemsVMCAI at Watercourt
Chair(s): James Riely DePaul University
10:30
30m
Talk
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity
VMCAI
Swen Jacobs , Mouhammad Sakr Saarland University
11:00
30m
Talk
Automatic Verification of Intermittent Systems
VMCAI
11:30
30m
Talk
Co-Design and Verification of an Available File System
VMCAI
Mahsa Najafzadeh Purdue University, Marc Shapiro LIP6, Patrick Eugster Purdue University