The book is currently out of stock
More about the book
The book delves into formal verification, emphasizing the importance of creating a mathematical model for systems and a clear language to specify their desired properties. It explores methods of proof to ensure these properties are met, highlighting the role of automated processes in verification. The focus is on achieving accuracy and clarity in system specifications, making it a crucial resource for understanding the intersection of mathematics and computer science in system validation.
Book purchase
Symbolic Model Checking, Kenneth L. McMillan
- Language
- Released
- 2012
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.