Amsterdam Time, UTC +1:00
Tuesday, November 23th
09:00-10:30Session 1
| 09:00 | Welcome |
| 09:05 |
Jan Peleska
Invited Talk: The Future of Modelling Languages in Industry – Why Practitioners do not use Your Favourite Process Algebra [Video]
|
| 09: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]
|
| 10:10 |
Lorenzo Capra
A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems [Video]
|
10:30-11:00Break
11:00-12:30Session 2
| 11: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]
|
| 11:25 |
Salwa Souaf and Frederic Loulergue
Experience Report: Teaching Code Analysis and Verification Using Frama-C [Video]
|
| 11:45 |
Hubert Garavel, Frédéric Lang, Radu Mateescu and Wendelin Serwe
Is CADP an Applicable Formal Method? [Video]
|
| 12:05 |
Yu-Shan Sun, Daniel Welch and Murali Sitaraman
F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails [Video]
|
12:30-13:00 Break
13:00-14:30Session 3
| 13:00 |
Yannick Moy (AdaCore)
Invited Talk: Adding Proof to the Continuous Integration Workflow [Video]
|
| 13:45 |
Interactive Discussion Session
|
| 14:20 |
Wrap-up
|