Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019 Beijing, China
co-located with ISSTA 2019
Tue 16 Jul 2019 16:00 - 16:30 at Meeting Room 4 - Session 4 - Broader Approaches

Tue 16 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

16:00 - 17:30
16:00
30m
Talk
Swarm Model Checking on the GPU
26th International SPIN Symposium on Model Checking of Software
16:30
30m
Talk
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
26th International SPIN Symposium on Model Checking of Software