Overview
- Provides a tutorial introduction to the state of the art in formal verification
- Unlike other books that focus on a particular techniques or application domains, this is the first authoritative reference to discuss disparate reasoning techniques and how they work with each other in solving different application problems
- Assumes no previous knowledge of formal reasoning and logic and includes numerous case studies of the diversity of domains in which the techniques can be applied
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (15 chapters)
-
Formal Integration of Decision Procedures
-
Conclusion
Reviews
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)Authors and Affiliations
Bibliographic Information
Book Title: Scalable Techniques for Formal Verification
Authors: Sandip Ray
DOI: https://doi.org/10.1007/978-1-4419-5998-0
Publisher: Springer New York, NY
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer-Verlag US 2010
Hardcover ISBN: 978-1-4419-5997-3Published: 25 May 2010
Softcover ISBN: 978-1-4899-8444-9Published: 19 October 2014
eBook ISBN: 978-1-4419-5998-0Published: 17 June 2010
Edition Number: 1
Number of Pages: XIV, 243
Topics: Circuits and Systems, Computer-Aided Engineering (CAD, CAE) and Design