↓ 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
So far, Dimensions has found 5 publications that cite this research output.

5

The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.