Proof in VDM: Case Studies (Softcover Reprint of the Original 1st 1998)Paperback - Softcover Reprint of the Original 1st 1998, 2 March 1998

Proof in VDM: Case Studies (Softcover Reprint of the Original 1st 1998)
Qty
1
Turbo
Ships in 2 - 3 days
In Stock
Free Delivery
Cash on Delivery
15 Days
Free Returns
Secure Checkout
Buy More, Save More
Turbo Shipping
Part of Series
Formal Approaches to Computing and Information Technology (F
Part of Series
Biological Physics Series,
Print Length
226 pages
Language
English
Publisher
Springer
Date Published
2 Mar 1998
ISBN-10
3540761861
ISBN-13
9783540761860

Description

Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, the industrial application of formal methods is becoming increasingly common in a variety of application areas, particularly those with a safety, security or financially critical aspects. Furthermore, in situations where a particularly high level of assurance is required, formal proof is broadly accepted as being of value. Perhaps the major benefit of formalisation is that it enables formal symbolic manip- ulation of elements of a design and hence can provide developers with a variety of analyses which facilitate the detection of faults. Proof is just one of these possible formal activities, others, such as test case generation and animation, have also been shown to be effective bug finders. Proof can be used for both validation and verifi- cation. Validation of a specification can be achieved by proving formal statements conjectured about the required behaviours of the system. Verification of the cor- rectness of successive designs can be achieved by proof of a prescribed set of proof obligations generated from the specifications.

Product Details

Book Edition:
Softcover Reprint of the Original 1st 1998
Book Format:
Paperback
Country of Origin:
US
Date Published:
2 March 1998
Dimensions:
23.39 x 15.6 x 1.3 cm
ISBN-10:
3540761861
ISBN-13:
9783540761860
Language:
English
Location:
London
Pages:
226
Publisher:
Springer
Weight:
344.73 gm

Related Categories


Need Help?
+971 6 731 0280
support@gzb.ae

About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice

VisaMastercardCash on Delivery

© 2024 White Lion General Trading LLC. All rights reserved.