Invited Capstone Talk Some Industrial Experience with Teaching Formal Methods
Roderick Chapman · Electronic workshops in computing · 2006
This presentation will reflect on the experience of teaching formal methods in an industrial context. Our experience includes teaching formal specification using Z and program verification using the SPARK language and tools. Our results are surprisingly positive - industrial engineers (from a wide range of academic backgrounds) seem capable of taking on and applying these notations and techniques. The presentation will also offer some reflection on tools and how they present formal techniques to their users.