AFFORD Program

Workshop on Practical Formal Verification for Software Dependability (AFFORD 2017)

Monday, October 23, 2017

9:00 am – 10:30 am: Keynote (1)

- Formal verification in the industry: a honest look at the situation and possible ways forward by Rémi Delmas

11:00 am – 12:30 pm: Technical papers (1)

- Adding correctness checking to Test Automation Platform by A. Salmerón, L. Lavado, M. Gallardo and P. Merino

- Analytics-Enhanced Automated Code Verification for Dependability of Software-Defined Networks by L. Jagadeesan and V. Mendiratta

- Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware by S. Resch and M. Paulitsch

2:00 pm – 3:30 pm: Keynote (2)

- Meeting industrial requirements for formal code verification: lessons learnt from the Frama-C platform by Florent Kirchner

4:00 – 5:30 pm: Technical papers (2)

- Safety Verification of Modern Railway Signalling with SafeCap Platform by P. Stankaitis and A. Iliasov

- An Integrated Development Environment for the Design, Verification and Implementation of Security Protocols by R. Garcia and P. Modesti