Conclusions and Recommendations

  • Dan Craigen
  • Karen Summerskill
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Abstract

The emphasis of FM89 was an assessment of the state of the practice in formal methods and their possible roles in the development of critical systems. The workshop participants were drawn from Canada, the United Kingdom and the United States. Their backgrounds included safety, hardware, software and system engineering, various government agencies, and theoretical and applied computing science.

Keywords

Vince 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Dan Craigen
    • 1
  • Karen Summerskill
    • 1
  1. 1.Odyssey Research AssociatesOttawaCanada

Personalised recommendations