↓ 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 Proof-Sensitive Approach for Small Propositional Interpolants
  3. Altmetric Badge
    Chapter 2 Recursive Games for Compositional Program Synthesis
  4. Altmetric Badge
    Chapter 3 Testing the IPC Protocol for a Real-Time Operating System
  5. Altmetric Badge
    Chapter 4 Pseudo-Random Number Generator Verification: A Case Study
  6. Altmetric Badge
    Chapter 5 Inside a Verified Flash File System: Transactions and Garbage Collection
  7. Altmetric Badge
    Chapter 6 How to Avoid Proving the Absence of Integer Overflows
  8. Altmetric Badge
    Chapter 7 Machine-Checked Proofs for Realizability Checking Algorithms
  9. Altmetric Badge
    Chapter 8 Dynamic Frames Based Verification Method for Concurrent Java Programs
  10. Altmetric Badge
    Chapter 9 A Simpler Reduction Theorem for x86-TSO
  11. Altmetric Badge
    Chapter 10 Moving Around: Lipton’s Reduction for TSO
  12. Altmetric Badge
    Chapter 11 Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover
  13. Altmetric Badge
    Chapter 12 AUSPICE: Automatic Safety Property Verification for Unmodified Executables
Attention for Chapter 12: AUSPICE: Automatic Safety Property Verification for Unmodified Executables
Altmetric Badge

About this Attention Score

  • Average Attention Score compared to outputs of the same age

Mentioned by

twitter
1 X user

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
3 Mendeley
Summary X Dimensions citations

This page is provided by Altmetric.