Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019 Beijing, China
co-located with ISSTA 2019
Mon 15 Jul 2019 15:00 - 15: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 - 14:30
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 - 15:00
Talk
From Dynamic State Machines to Promela
26th International SPIN Symposium on Model Checking of Software
15:00 - 15:30
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