International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:30 | Deductively Verified Program Models for Software Model Checking | Jesper Amilon, Dilian Gurov |
| 15:00 | Towards the Formal Analysis of Algorithmic Requirements | Lorenzo Cappelletti, Roberto Cavada, Alessandro Cimatti, Marco Keppel |
| 15:30 | Formal Foundations of Consistency in Model-Driven Development | Mattias Ulbrich, Wolfram Pfeifer, Romain Pascaul, Bernhard Beckert, Matthias Kirsten |