International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 16:30 | Static and Dynamic Verification of OCaml Programs: the Gospel Ecosystem | Tiago Soares, Ion Chirica, Mário Pereira |
| 17:00 | High-Level Program Properties in Frama-C: Definition, Verification and Deduction | Nikolai Kosmatov, Pascale Le Gall, Virgile Robles, Virgile Prevosto |
| 17:30 | SIMPPAAL: A Framework For Statistical Model Checking of Industrial Simulink Models | Cristina Seceleanu, Predrag Filipovikj, Nesredin Mahmud, Guillermo Rodriguez-Navas, Oscar Ljungkrantz, Henrik Lönn |