Toggle Main Menu Toggle Search

Open Access padlockePrints

Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++

Lookup NU author(s): Dr Peter Larsen, Professor John Fitzgerald, Dr Stephen RiddleORCiD



We describe the design and delivery of two courses that aim to develop skills of use to students in their subsequent professional practice, whether or not they are directly applying formal methods. Both curricula take a "lightweight'' approach, emphasising skills in model construction and analysis by test rather than formal verification. The accessibility of the formalism is enhanced by the use of well-established notations (VDM-SL and VDM++); its credibility is established by using examples drawn from industrial projects, and by using an industrial-strength tool set. Examples from the courses are presented and initial results based on student evaluation and examination performance are discussed.

Publication metadata

Author(s): Larsen PG, Fitzgerald JS, Riddle S

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2006

Pages: 19

Print publication date: 01/12/2006

Source Publication Date: December 2006

Report Number: 992

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne