Juan C. Bicarregui – författare
Visar alla böcker från författaren Juan C. Bicarregui. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
538 kr
Skickas inom 10-15 vardagar
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.
1 100 kr
Skickas inom 10-15 vardagar
This volume provides a 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, it devotes two chapters to validation using proof, describing how proofs in VDM can be constructed via installations of the PVS and Isabelle theorem provers. The book provides 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.