International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 09:00 | Model-based Testing of Railway Interlocking Systems | Cimatti, Khandaker, Kifetew, Leone, Prandi, Scaglione, Susi, Turboli |
| 09:30 | Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-Verified Components | Limbrée, Haxthausen, Gori, Fantechi |
| 10:00 | Railway Switch Control Modeling in European Train Control System Level 3 | Flammini, Marrone, Nardone, Sanwal, Seceleanu, Verde, Vittorini |