↓ 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 10: Moving Around: Lipton’s Reduction for TSO
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
Moving Around: Lipton’s Reduction for TSO
Chapter number 10
Book title
Verified Software: Theories, Tools, and Experiments
Published by
Springer, Cham, July 2015
DOI 10.1007/978-3-319-29613-5_10
Book ISBNs
978-3-31-929612-8, 978-3-31-929613-5
Authors

Ali Sezgin, Serdar Tasiran, Sezgin, Ali, Tasiran, Serdar

View on publisher site

This page is provided by Altmetric.