Beijing Time, UTC +8:00
Tuesday, November 23th
16:00-17:30Session 1
| 16:00 | Welcome |
| 16:05 |
Jan Peleska
Invited Talk: The Future of Modelling Languages in Industry – Why Practitioners do not use Your Favourite Process Algebra [Video]
|
| 16:50 |
Carolina Carreira, Joao F. Ferreira, Alexandra Mendes and Nicolas Christin
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda [Video]
|
| 17:10 |
Lorenzo Capra
A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems [Video]
|
17:30-18:00Break
18:00-19:30Session 2
| 18:00 |
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini and Elvinia Riccobene
Developing a prototype of a mechanical ventilator controller from requirements to code with ASMETA [Video]
|
| 18:25 |
Salwa Souaf and Frederic Loulergue
Experience Report: Teaching Code Analysis and Verification Using Frama-C [Video]
|
| 18:45 |
Hubert Garavel, Frédéric Lang, Radu Mateescu and Wendelin Serwe
Is CADP an Applicable Formal Method? [Video]
|
| 19:05 |
Yu-Shan Sun, Daniel Welch and Murali Sitaraman
F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails [Video]
|
19:30-20:00 Break
20:00-21:30Session 3
| 20:00 |
Yannick Moy (AdaCore)
Invited Talk: Adding Proof to the Continuous Integration Workflow
|
| 20:45 |
Interactive Discussion Session
|
| 21:20 |
Wrap-up
|