↓ 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 7: Computing Verified Machine Address Bounds During Symbolic Exploration of Code
Altmetric Badge

Citations

dimensions_citation
5 Dimensions
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
Computing Verified Machine Address Bounds During Symbolic Exploration of Code
Chapter number 7
Book title
Provably Correct Systems
Published by
Springer, Cham, January 2017
DOI 10.1007/978-3-319-48628-4_7
Book ISBNs
978-3-31-948627-7, 978-3-31-948628-4
Authors

J Strother Moore

View on publisher site

This page is provided by Altmetric.