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

Verified Software. Theories, Tools and Experiments.

Overview of attention for book
Cover of 'Verified Software. Theories, Tools and Experiments.'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Compositional Safety LTL Synthesis
  3. Altmetric Badge
    Chapter 2 Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable
  4. Altmetric Badge
    Chapter 3 Shellac: A Compiler Synthesizer for Concurrent Programs
  5. Altmetric Badge
    Chapter 4 A Sequentialization Procedure for Fault-Tolerant Protocols
  6. Altmetric Badge
    Chapter 5 Towards Practical Partial Order Reduction for High-Level Formalisms
  7. Altmetric Badge
    Chapter 6 SMT-Based Verification of Persistency Invariants of Px86 Programs
  8. Altmetric Badge
    Chapter 7 A Formal Semantics for P-Code
  9. Altmetric Badge
    Chapter 8 Separating Separation Logic – Modular Verification of Red-Black Trees
  10. Altmetric Badge
    Chapter 9 Residual Runtime Verification via Reachability Analysis
Attention for Chapter 8: Separating Separation Logic – Modular Verification of Red-Black Trees
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Separating Separation Logic – Modular Verification of Red-Black Trees
Chapter number 8
Book title
Verified Software. Theories, Tools and Experiments.
Published by
Springer, Cham, January 2023
DOI 10.1007/978-3-031-25803-9_8
Book ISBNs
978-3-03-125802-2, 978-3-03-125803-9
Authors

Schellhorn, Gerhard, Bodenmüller, Stefan, Bitterlich, Martin, Reif, Wolfgang

View on publisher site

This page is provided by Altmetric.