Login

Ray, Sandip

Scalable Techniques for Formal Verification

Ray, Sandip - Scalable Techniques for Formal Verification, ebook

124,00€

Ebook, PDF with Adobe DRM
ISBN: 9781441959980
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Introduction
Sandip Ray

2. Overview of Formal Verification
Sandip Ray

3. Introduction to ACL2
Sandip Ray

4. Sequential Programs
Sandip Ray

5. Operational Semantics and Assertional Reasoning
Sandip Ray

6. Connecting Different Proof Styles
Sandip Ray

7. Reactive Systems
Sandip Ray

8. Verifying Concurrent Protocols Using Refinements
Sandip Ray

9. Pipelined Machines
Sandip Ray

10. Invariant Proving
Sandip Ray

11. Predicate Abstraction via Rewriting
Sandip Ray

12. Integrating Deductive and Algorithmic Reasoning
Sandip Ray

13. A Compositional Model Checking Procedure
Sandip Ray

14. Connecting External Deduction Tools with ACL2
Sandip Ray

15. Summary and Conclusion
Sandip Ray

Keywords: Engineering, Circuits and Systems, Computer-Aided Engineering (CAD, CAE) and Design

Author(s)
Publisher
Springer
Publication year
2010
Language
en
Edition
1
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9781441959980

Similar titles