↓ 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 A Logical Analysis of Framing for Specifications with Pure Method Calls
  3. Altmetric Badge
    Chapter 2 Efficient Refinement Checking in VCC
  4. Altmetric Badge
    Chapter 3 Formalizing Semantics with an Automatic Program Verifier
  5. Altmetric Badge
    Chapter 4 The KeY Platform for Verification and Analysis of Java Programs
  6. Altmetric Badge
    Chapter 5 A Verification Condition Visualizer
  7. Altmetric Badge
    Chapter 6 Formal Modeling and Verification of CloudProxy
  8. Altmetric Badge
    Chapter 7 Using Promela in a Fully Verified Executable LTL Model Checker
  9. Altmetric Badge
    Chapter 8 Store Buffer Reduction with MMUs
  10. Altmetric Badge
    Chapter 9 Verified Software: Theories, Tools and Experiments
  11. Altmetric Badge
    Chapter 10 Separation Algebras for C Verification in Coq
  12. Altmetric Badge
    Chapter 11 Automatically Verified Implementation of Data Structures Based on AVL Trees
  13. Altmetric Badge
    Chapter 12 A Model for Capturing and Replaying Proof Strategies
  14. Altmetric Badge
    Chapter 13 A Certifying Frontend for (Sub)polyhedral Abstract Domains
  15. Altmetric Badge
    Chapter 14 Verified Software: Theories, Tools and Experiments
  16. Altmetric Badge
    Chapter 15 Parameterized Model-Checking of Timed Systems with Conjunctive Guards
  17. Altmetric Badge
    Chapter 16 Timed Refinement for Verification of Real-Time Object Code Programs
  18. Altmetric Badge
    Chapter 17 What Gives? A Hybrid Algorithm for Error Trace Explanation
Attention for Chapter 10: Separation Algebras for C Verification in Coq
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
3 Mendeley
Summary Dimensions citations
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
Separation Algebras for C Verification in Coq
Chapter number 10
Book title
Verified Software: Theories, Tools and Experiments
Published by
Springer, Cham, July 2014
DOI 10.1007/978-3-319-12154-3_10
Book ISBNs
978-3-31-912153-6, 978-3-31-912154-3
Authors

Robbert Krebbers

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 2 67%
Student > Bachelor 1 33%
Readers by discipline Count As %
Computer Science 2 67%
Engineering 1 33%

This page is provided by Altmetric.