All Formats & Editions
1 - 2 of 2 results found
Symbolic Model Checking
Edition Description
Foreword. Preface. 1. Introduction. 2. Model Checking. 3. Symbolic Model Checking. 4. The SMV System. 5. A Distributed Cache Protocol. 6. Mu-Calculus Model Checking. 7. Induction and Model Checking. 8. Equivalence Computations. 9. A Partial Order Apporach. 10. Conclusion. References...
Edition Details
Format:Hardcover
Language:English
ISBN:0792393805
Format: Hardcover
Condition:
$
99.00
Save $26.00!
List Price: $125.00
Symbolic Model Checking
Edition Description
Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. When the method of proof...
Edition Details
Format:Paperback
Language:English
ISBN:1461363993
Format: Paperback
Condition:
$
59.87
Copyright © 2026 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
