Bicarregui, Juan C.
Proof in VDM: A - Practitioner's Guide (Formal - Approaches to Computing - and Information Technology - (FACIT))
- ISBN 13:
- 9783540198130
- author:
- Bicarregui, Juan C.
- format:
- Paperback
- publisher:
- Springer London
- language:
- English
- Publication Year:
- 1993
- Pages:
- 362
- Dimensions:
- 23.4 x 15.6 x 2 centimetres (0.5
- Genre:
- Computers, Programming, Software Development,
- Condition:
- New
- Availability:
- Item usually sent within 5 working days
Description
Formal specifications have become an essential tool in software development, particularly for programming languages and their compilers. VDM (Verification Methodology and Definition Language) is one such specification language that offers a mathematically-based approach to describing systems. The use of proofs is crucial in verifying the behavior of a system and ensuring that it meets its design specifications. However, this process can be complex and error-prone, particularly when dealing with large formal texts like programs and proofs. To facilitate this process, software tools are necessary to support the manipulation of formulae and aid in proof design. This book provides a practitioner's guide to VDM, covering the key elements of the formal method and its applications in industry.
Related Products
Related Products
Information Risk Management: A practitioner's guide
Sutton, David
The FACIT Model: Globalism, Localism, Identity
Society, Our Polite
Trauma-Informed Mindfulness: A Practitioner's Guide for One-to-One Work
Kiyimba, Nikki
Narrative Therapies with Children and Their Families: A Practitioner's Guide to Concepts and Approaches
Arlene Vetere (Editor), Emilia Dowling (Editor)
The Volatility Surface: A Practitioners Guide: A Practitioner's Guide (Wiley Finance)
Gatheral, Jim