↓ Skip to main content
What is this page? Embed badge

Scalable Techniques for Formal Verification

Overview of attention for book
Cover of 'Scalable Techniques for Formal Verification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Overview of Formal Verification
  4. Altmetric Badge
    Chapter 3 Introduction to ACL2
  5. Altmetric Badge
    Chapter 4 Sequential Programs
  6. Altmetric Badge
    Chapter 5 Operational Semantics and Assertional Reasoning
  7. Altmetric Badge
    Chapter 6 Connecting Different Proof Styles
  8. Altmetric Badge
    Chapter 7 Reactive Systems
  9. Altmetric Badge
    Chapter 8 Verifying Concurrent Protocols Using Refinements
  10. Altmetric Badge
    Chapter 9 Pipelined Machines
  11. Altmetric Badge
    Chapter 10 Invariant Proving
  12. Altmetric Badge
    Chapter 11 Predicate Abstraction via Rewriting
  13. Altmetric Badge
    Chapter 12 Integrating Deductive and Algorithmic Reasoning
  14. Altmetric Badge
    Chapter 13 A Compositional Model Checking Procedure
  15. Altmetric Badge
    Chapter 14 Connecting External Deduction Tools with ACL2
  16. Altmetric Badge
    Chapter 15 Summary and Conclusion
Attention for Chapter 8: Verifying Concurrent Protocols Using Refinements
Altmetric Badge

Citations

dimensions_citation
11 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
So far, Dimensions has found 11 publications that cite this research output.

11

The most recent citing publications are shown below. View all 11 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.