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

Displayed 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 Weissenbacher Technische 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 Bataineh NTU, David Rosenblum National University of Singapore, Mark Reynolds The Univeristy of Western Australia