↓ 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 Designware: Software Development by Refinement
  3. Altmetric Badge
    Chapter 2 B: Towards Zero Defect Software
  4. Altmetric Badge
    Chapter 3 The Use of B to Specify, Design and Verify Hardware
  5. Altmetric Badge
    Chapter 4 A System for Predictable Component-Based Software Construction
  6. Altmetric Badge
    Chapter 5 Autonomous Decentralized Systems Technologies and Their Application to a Train Transport Operation System
  7. Altmetric Badge
    Chapter 6 Bay Area Rapid Transit District Advance Automated Train Control System Case Study Description
  8. Altmetric Badge
    Chapter 7 Using SCR to Specify Requirements of the Bart Advanced Automated Train Control System
  9. Altmetric Badge
    Chapter 8 On the Construction of a Domain Language for a Class of Reactive Systems
  10. Altmetric Badge
    Chapter 9 A Refinement-Based Approach to Deriving Train Controllers
  11. Altmetric Badge
    Chapter 10 Systematic Validation of a Relational Control Program for the Bay Area Rapid Transit System
  12. Altmetric Badge
    Chapter 11 Verification of a Controller for Bart: An Approach Based on Horn Logic and Denotational Semantics
  13. Altmetric Badge
    Chapter 12 Using Virtual Reality to Validate System Models
Attention for Chapter 11: Verification of a Controller for Bart: An Approach Based on Horn Logic and Denotational Semantics
Altmetric Badge

Citations

dimensions_citation
6 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
Verification of a Controller for Bart: An Approach Based on Horn Logic and Denotational Semantics
Chapter number 11
Book title
High Integrity Software
Published by
Springer, Boston, MA, January 2001
DOI 10.1007/978-1-4615-1391-9_11
Book ISBNs
978-1-4613-5530-4, 978-1-4615-1391-9
Authors

Lawrence King, Gopal Gupta, Enrico Pontelli, King, Lawrence, Gupta, Gopal, Pontelli, Enrico

View on publisher site

This page is provided by Altmetric.