Invited Capstone Talk  Some Industrial Experience with Teaching Formal Methods

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.

Content

Author and article information

Contributors

Rod Chapman

Conference

Publication date: December 2006

Publication date (Print): December 2006

Page: 1

Affiliations

[0001]Praxis High Integrity Systems

20 Manvers Street, Bath BA1 1PX, UK

Article

DOI: 10.14236/ewic/TFM2006.15

SO-VID: 75eb3cb1-47bf-47ea-9254-6f2edbe021be

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Teaching Formal Methods: Practice and Experience

Conference acronym: TFM

Conference number:

Conference location: BCS London Office, UK

Conference date: 15 December 2006

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Teaching Formal Methods: Practice and Experience

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/TFM2006.15

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

Invited Capstone Talk Some Industrial Experience with Teaching Formal Methods

Abstract