Introduction to VDM
Mark Woodman, Benedict Heal · McGraw-Hill, Inc. eBooks · 1993
Part 1 The VDM specification language: the software development process formal methods and the development process specifying data specifying functions specifying operations constructing a VDM specification solutions to part 1 questions. Part 2 Formal specification: sets specifications using sets composite object types maps sequences defining complex states solutions to part 2 questions. Part 3 Reifying abstract data types: stacks and queues case-study solutions to part 3 questions. Part 4 Correctness statements and proof rules: proving programs containing loops case study using data structures solutions to part 4 questions.