Overview

This manual examines the practical aspects of using and constructing proofs in the specification and development of computing systems. The reader is guided through the elements of proof construction with the help of numerous worked examples. The techniques can be applied to specification and development in a range of formalisms, and are illustrated using the logic and the basic data types of the VDM specification language. The construction of theorems and proofs from actual specifications and refinements is also described, and a detailed case study, including several refinement steps, shows how formal proofs can be used in practice. In addition, the book contains a directory of axioms and formally proved theorems.

Full Product Details

Author:   Juan C. Bicarregui ,  John Fitzgerald ,  Peter A. Lindsay ,  Richard Moore
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   Softcover reprint of the original 1st ed. 1994
Dimensions:   Width: 15.50cm , Height: 2.00cm , Length: 23.50cm
Weight:   0.635kg
ISBN:  

9783540198130

ISBN 10:   354019813
Pages:   362
Publication Date:   01 December 1993
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions