Sun 7 Jan 2018 14:30 - 15:00 at Watercourt - Verification Chair(s): Jeffrey S. Foster

Sun 7 Jan

VMCAI-2018
14:00 - 15:30: VMCAI 2018 - Verification at Watercourt
Chair(s): Jeffrey S. FosterUniversity of Maryland, College Park
VMCAI-201814:00 - 14:30
Talk
Johannes BaderMicrosoft, Jonathan AldrichCarnegie Mellon University, √Čric TanterUniversity of Chile
VMCAI-201814:30 - 15:00
Talk
Adi PrabawaNational University of Singapore, Mahmudul Faisal Al AmeenNational University of Singapore, Benedict LeeNational University of Singapore, Wei-Ngan ChinNational University of Singapore
VMCAI-201815:00 - 15:30
Talk