Proof in VDM: Case Studies

This volume provides an invaluable companion to Proof in VDM: A Practitioner's Guide. Using the proof theory presented in that volume, it examines a variety of realistic case studies which illustrate different aspects of the use of proof in formal development. Rather than concentrating on the construction of formal specifications (like most work in this area), it devotes two chapters to validation using proof, describing how proofs in VDM can be constructed via instantiations of the PVS and Isabelle theorem provers. Proof in VDM: Case Studies will provide invaluable reference material for practitioners of formal methods who need to construct proofs, students requiring a detailed introduction to the practicalities of proof, and researchers interested in the role of theorem proving in formal development and relevant tool support.

שנה

1998

שפה

English

סדרה

Formal Approaches to Computing and Information Technology (FACIT)

הוצאה

Springer London

מהדורות

1

עמודים

226

ISBN

9781447115328

מקור הנתונים: Wikidata