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

High-Integrity Software

Overview of attention for book
Cover of 'High-Integrity Software'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Formal specification and implementation
  4. Altmetric Badge
    Chapter 3 Designing for high integrity: the software fault tolerance approach
  5. Altmetric Badge
    Chapter 4 Practical experience with a formal verification system
  6. Altmetric Badge
    Chapter 5 Reliable programming in standard languages
  7. Altmetric Badge
    Chapter 6 NewSpeak: a reliable programming language
  8. Altmetric Badge
    Chapter 7 Program analysis and systematic testing
  9. Altmetric Badge
    Chapter 8 Program analysis and verification
  10. Altmetric Badge
    Chapter 9 The algebraic specification of a target machine: Ten15
  11. Altmetric Badge
    Chapter 10 Assurance in high-integrity software
  12. Altmetric Badge
    Chapter 11 Modelling real-world issues for dependable software
  13. Altmetric Badge
    Chapter 12 Contractual specification of reliable software
Attention for Chapter 4: Practical experience with a formal verification system
Altmetric Badge

Citations

dimensions_citation
19 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
So far, Dimensions has found 19 publications that cite this research output.

19

The most recent citing publications are shown below. View all 19 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.