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