Spanish
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
Altmetric Badge
Citations
- dimensions_citation
- 2 Dimensions
Readers on
- mendeley
- 19 Mendeley
- citeulike
- 1 CiteULike