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

Provably Correct Systems

Overview of attention for book
Cover of 'Provably Correct Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 ProCoS: How It All Began – as Seen from Denmark
  3. Altmetric Badge
    Chapter 2 Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems
  4. Altmetric Badge
    Chapter 3 MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems
  5. Altmetric Badge
    Chapter 4 A Proof Method for Linearizability on TSO Architectures
  6. Altmetric Badge
    Chapter 5 Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers
  7. Altmetric Badge
    Chapter 6 Towards Interface-Driven Design of Evolving Component-Based Architectures
  8. Altmetric Badge
    Chapter 7 Computing Verified Machine Address Bounds During Symbolic Exploration of Code
  9. Altmetric Badge
    Chapter 8 Engineering a Formal, Executable x86 ISA Simulator for Software Verification
  10. Altmetric Badge
    Chapter 9 Advances in Connection-Based Automated Theorem Proving
  11. Altmetric Badge
    Chapter 10 Run-Time Deadlock Detection
  12. Altmetric Badge
    Chapter 11 In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design
  13. Altmetric Badge
    Chapter 12 From ProCoS to Space and Mental Models–A Survey of Combining Formal and Semi-formal Methods
  14. Altmetric Badge
    Chapter 13 Provably Correct Systems: Community, Connections, and Citations
  15. Altmetric Badge
    Chapter 14 Erratum to: ProCoS: How It All Began – as Seen from Denmark
Attention for Chapter 4: A Proof Method for Linearizability on TSO Architectures
Altmetric Badge

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
1 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
A Proof Method for Linearizability on TSO Architectures
Chapter number 4
Book title
Provably Correct Systems
Published by
Springer, Cham, January 2017
DOI 10.1007/978-3-319-48628-4_4
Book ISBNs
978-3-31-948627-7, 978-3-31-948628-4
Authors

John Derrick, Graeme Smith, Lindsay Groves, Brijesh Dongol, Derrick, John, Smith, Graeme, Groves, Lindsay, Dongol, Brijesh

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Unknown 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.