.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Scalable Techniques for Formal Verification
Sandip Ray
€ 132.69
FREE Delivery in Ireland
Description for Scalable Techniques for Formal Verification
Hardback. This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies. Num Pages: 243 pages, biography. BIC Classification: TJFC; UB; UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 542.
This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c- puting systems in safety-critical and security-critical applications, it is becoming increasingly important for our well-being to ensure that those systems execute c- rectly. Over the last decade, formal veri?cation has made signi?cant headway in the analysis of industrial systems, particularly in the realm of veri?cation of hardware. A key advantage of formal veri?cation is that it provides a mathematical guarantee of their correctness (up to the accuracy of formal models and correctness of r- ... Read more
This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c- puting systems in safety-critical and security-critical applications, it is becoming increasingly important for our well-being to ensure that those systems execute c- rectly. Over the last decade, formal veri?cation has made signi?cant headway in the analysis of industrial systems, particularly in the realm of veri?cation of hardware. A key advantage of formal veri?cation is that it provides a mathematical guarantee of their correctness (up to the accuracy of formal models and correctness of r- ... Read more
Product Details
Format
Hardback
Publication date
2010
Publisher
Springer-Verlag New York Inc. United States
Number of pages
243
Condition
New
Number of Pages
243
Place of Publication
New York, NY, United States
ISBN
9781441959973
SKU
V9781441959973
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Scalable Techniques for Formal Verification
From the reviews: “The book under review, based on the author’s PhD thesis from 2005, is concerned with … improving the scalability of formal verification methods at large. … the material is presented in a fairly accessible fashion, suitable also for beginning graduate students.” (Lutz Schröder, Zentralblatt MATH, Vol. 1211, 2011)