Items related to Symbolic Model Checking

Symbolic Model Checking - Softcover

McMillan, Kenneth L.

 
9781461531913: Symbolic Model Checking
Softcover
ISBN 10: 1461531918 ISBN 13: 9781461531913
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
1461531918
ISBN 13 
9781461531913
Binding
Paperback