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

25 Years of Model Checking

Overview of attention for book
Cover of '25 Years of Model Checking'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Birth of Model Checking
  3. Altmetric Badge
    Chapter 2 The Beginning of Model Checking: A Personal Perspective
  4. Altmetric Badge
    Chapter 3 Verification Technology Transfer
  5. Altmetric Badge
    Chapter 4 New Challenges in Model Checking
  6. Altmetric Badge
    Chapter 5 A Retrospective on Mur ϕ
  7. Altmetric Badge
    Chapter 6 Model Checking: From Tools to Theory
  8. Altmetric Badge
    Chapter 7 Value Iteration
  9. Altmetric Badge
    Chapter 8 Fifteen Years of Formal Property Verification in Intel
  10. Altmetric Badge
    Chapter 9 A View from the Engine Room: Computational Support for Symbolic Model Checking
  11. Altmetric Badge
    Chapter 10 From Church and Prior to PSL
  12. Altmetric Badge
    Chapter 11 On the Merits of Temporal Testers
  13. Altmetric Badge
    Chapter 12 DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
  14. Altmetric Badge
    Chapter 13 SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR
Attention for Chapter 12: DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
Altmetric Badge

Citations

dimensions_citation
64 Dimensions

Readers on

mendeley
6 Mendeley
citeulike
1 CiteULike
Summary Dimensions citations
So far, Dimensions has found 64 publications that cite this research output.

64

The most recent citing publications are shown below. View all 64 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.