Skip to main content
SpringerLink
Log in
Book cover

Formal Methods for Trustworthy Computer Systems (FM89)

Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax, Canada

  • Conference proceedings
  • © 1990

Overview

Editors:
  1. Dan Craigen

    1. Odyssey Research Associates, Ottawa, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Karen Summerskill

    1. Odyssey Research Associates, Ottawa, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Workshops in Computing (WORKSHOPS COMP.)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Introduction

    • Dan Craigen, Karen Summerskill
    Pages 1-2

  3. Workshop Organization

    • Dan Craigen, Karen Summerskill
    Pages 3-7

  4. Critical Systems

    • Dan Craigen, Karen Summerskill
    Pages 9-31

  5. Formal Methods

    • Dan Craigen, Karen Summerskill
    Pages 33-62

  6. Reports From Working Groups

    • John Rushby, Jeannette Wing, Carl Landwehr
    Pages 63-85

  7. Concluding Discussions

    • Dan Craigen, Karen Summerskill
    Pages 87-89

  8. Conclusions and Recommendations

    • Dan Craigen, Karen Summerskill
    Pages 91-97

  9. Back Matter

    Pages 99-248
    Download chapter PDF
Back to top

Keywords

About this book

The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com­ puter Systems (FM89} was an invitational workshop that brought together repre­ sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States. The workshop was held in Halifax, Nova Scotia, Canada, from July 23 through July 27, 1989. This document reports the activities, observations, recommendations and conclusions resulting. from FM89. 1. 1 Purpose of Workshop The primary purpose for holding FM89 was to assess the role of formal methods in the development and fielding of trustworthy critical systems. The need for this assessment was predicated upon four observations: 1. Critical systems are increasingly being controlled by computer systems; 2. Existing techniques for developing, assuring and certifying computer-based critical systems are inadequate; 3. Formal methods have the potential for playing the same role in the devel­ opment of computer-based systems as applied mathematics does for other engineering disciplines; and 4. Formal methods have had limited impact on the development of comput- based systems and supporting technologies. · The goal of the workshop was to complete the following tasks: 1. Assess the problems retarding the development of trustworthy critical systems; 2. Determine the (potential) impact of applying formal methods techniques to the development of trustworthy critical systems; 3. Determine the research and development required to facilitate a broader ap­ plication of formal methods techniques; 4.

Editors and Affiliations

  • Odyssey Research Associates, Ottawa, Canada

    Dan Craigen, Karen Summerskill

Bibliographic Information

  • Book Title: Formal Methods for Trustworthy Computer Systems (FM89)

  • Book Subtitle: Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax, Canada

  • Editors: Dan Craigen, Karen Summerskill

  • Series Title: Workshops in Computing

  • DOI: https://doi.org/10.1007/978-1-4471-3532-6

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1990

  • Softcover ISBN: 978-3-540-19635-8Published: 19 November 1990

  • eBook ISBN: 978-1-4471-3532-6Published: 11 November 2013

  • Series ISSN: 1431-1682

  • Edition Number: 1

  • Number of Pages: X, 248

  • Number of Illustrations: 1 b/w illustrations

  • Additional Information: Jointly published with the British Computer Society

  • Topics: Software Engineering, System Performance and Evaluation, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation