Title: Proof in VDM
Subjects: Development, Case studies, Computer software, Automatic theorem proving, Computer software, development