Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019 Beijing, China
co-located with ISSTA 2019
Mon 15 Jul 2019 14:00 - 14:30 at Meeting Room 4 - Session 3 - Model Checking

Mon 15 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

14:00 - 15:30
14:00
30m
Talk
Extracting Safe Thread Schedules from Incomplete Model Checking Results
26th International SPIN Symposium on Model Checking of Software
Patrick Metzler, Neeraj Suri, Georg WeissenbacherTechnische Universit├Ąt Wien
14:30
30m
Talk
From Dynamic State Machines to Promela
26th International SPIN Symposium on Model Checking of Software
15:00
30m
Talk
A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table
26th International SPIN Symposium on Model Checking of Software
Omar BatainehNTU, David RosenblumNational University of Singapore, Mark ReynoldsThe Univeristy of Western Australia