Verification in the Grand Challenge
Book chapter (October 2021)
Verified Software: Theories, Tools, Experiments
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Towards Scalable Modular Checking of User-Defined Properties
-
Altmetric BadgeChapter 2 Tressa: Claiming the Future
-
Altmetric BadgeChapter 3 Automated Verification of a Small Hypervisor
-
Altmetric BadgeChapter 4 A Rely-Guarantee Proof System for x86-TSO
-
Altmetric BadgeChapter 5 Pervasive Verification of an OS Microkernel
-
Altmetric BadgeChapter 6 Verified Software: Theories, Tools, Experiments
-
Altmetric BadgeChapter 7 An Approach of Requirements Tracing in Formal Refinement
-
Altmetric BadgeChapter 8 Dafny Meets the Verification Benchmarks Challenge
-
Altmetric BadgeChapter 9 Specifying Reusable Components
-
Altmetric BadgeChapter 10 Reusable Verification of a Copying Collector
-
Altmetric BadgeChapter 11 To Goto Where No Statement Has Gone Before
-
Altmetric BadgeChapter 12 The Next 700 Separation Logics
-
Altmetric BadgeChapter 13 Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients
-
Altmetric BadgeChapter 14 Abstraction and Refinement for Local Reasoning
Attention for Chapter 13:
Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients