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

Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

16:00 - 17:30
Model CheckingVMCAI at Watercourt
Chair(s): Kenneth L. McMillan Microsoft Research
16:00
30m
Talk
Learning to Complement Büchi Automata
VMCAI
Yong Li Institute of Software, Chinese Academy of Sciences, Andrea Turrini State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun Zhang Institute of Software, Chinese Academy of Sciences, Sven Schewe University of Liverpool
16:30
30m
Talk
Selfless Interpolation for Infinite-State Model Checking
VMCAI
Tanja Schindler University of Freiburg, Dejan Jovanović SRI International
17:00
30m
Talk
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
VMCAI
Benjamin Aminof Vienna University of Technology, Sasha Rubin University of Naples Federico II, Ilina Stoilkovska Vienna University of Technology , Josef Widder TU Wien, Florian Zuleger TU Vienna