Tue 9 Jan 2018 17:00 - 17:30 at Watercourt - Model Checking Chair(s): Kenneth L. McMillan

Conference Day
Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

16:00 - 17:30
Model CheckingVMCAI at Watercourt
Chair(s): Kenneth L. McMillanMicrosoft Research
16:00
30m
Talk
Learning to Complement Büchi Automata
VMCAI
Yong LiInstitute of Software, Chinese Academy of Sciences, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun ZhangInstitute of Software, Chinese Academy of Sciences, Sven ScheweUniversity of Liverpool
16:30
30m
Talk
Selfless Interpolation for Infinite-State Model Checking
VMCAI
Tanja SchindlerUniversity of Freiburg, Dejan JovanovićSRI International
17:00
30m
Talk
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
VMCAI
Benjamin AminofVienna University of Technology, Sasha RubinUniversity of Naples Federico II, Ilina StoilkovskaVienna University of Technology , Josef WidderTU Wien, Florian ZulegerTU Vienna