Overview

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. Index.

Full Product Details

Author:   Kenneth McMillan
Publisher:   Kluwer Academic Publishers
Imprint:   Kluwer Academic Publishers
Dimensions:   Width: 17.90cm , Height: 1.80cm , Length: 23.00cm
Weight:   0.426kg
ISBN:  

9780792393801

ISBN 10:   0792393805
Pages:   216
Publication Date:   31 July 1993
Audience:   College/higher education ,  Professional and scholarly ,  Undergraduate ,  Postgraduate, Research & Scholarly
Format:   Hardback
Publisher's Status:   Active
Availability:   In stock  
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions