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

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change

16:00 - 17:30: Model CheckingVMCAI at Watercourt
Chair(s): Kenneth L. McMillanMicrosoft Research
16:00 - 16:30
Learning to Complement Büchi Automata
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 - 17:00
Selfless Interpolation for Infinite-State Model Checking
Tanja SchindlerUniversity of Freiburg, Dejan JovanovićSRI International
17:00 - 17:30
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
Benjamin AminofVienna University of Technology, Sasha RubinUniversity of Naples Federico II, Ilina StoilkovskaVienna University of Technology , Josef WidderTU Wien, Florian ZulegerTU Vienna