International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 09:00 | Making SysML State Machines Correct – A Prover Formal Verification Approach | Rong Gu, Abderrahmane Feliachi, Benjamin Blanc |
| 09:30 | Semantics of a Subset of Puppet 4.8 Mechanized in Why3 | Frédéric Loulergue, Mohamed Haady Tiemtore |
| 10:00 | Verifying ROS-based Applications Using Timed and Stochastic Timed Automata – Queue Policies and Scalability | Peter Backeman, Cristina Seceleanu |