Proof in VDM: Case Studies
J. C. Bicarregui · 1998
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
About the book
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.
Book details
- Year
- 1998
- Language
- English
- Series
- Formal Approaches to Computing and Information Technology (FACIT)
- Publisher
- Springer London
- Editions
- 1
- Pages
- 226
- ISBN
- 9781447115328
Data source: Wikidata