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 - Brossura

Brossura

ISBN 10: 3540196358 ISBN 13: 9783540196358

Casa editrice: Springer, 1990

Riassunto

This volume contains the discussions, recommendations and conclusions resulting from a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, held in Halifax, Nova Scotia, Canada in July 1989. This workshop brought together representatives of research, commerce and government organizations from Canada, the Usa and the Uk. The main purpose of the workshop was to assess the role of formal methods in the development and fielding of trustworthy critical systems. The aims of the workshop were to assess the problems retarding the development of trustworthy critical systems, to determine the potential impact of applying formal methods techniques to the development of trustworthy critical systems, to determine the research required to facilitate a broader application of formal methods techniques, to identify "example systems" that would be useful in measuring the effectiveness of formal methods, and to identify how to improve international co-ordination and communication of formal methods research.

Su questo libro

Contenuti

1 Introduction.- 2 Workshop Organization.- 3 Critical Systems.- 4 Formal Methods.- 5 Reports From Working Groups.- 6 Concluding Discussions.- 7 Conclusions and Recommendations.- A Participants.- B Potential Applications for Formal Methods.- C Respondents’ Papers.- C.1 Formal Methods and Critical Systems in the Real World.- C.2 Whither Formal Methods?.- D Illustrative Risks to the Public in the Use of Computer Systems and Related Technology.- E A Survey of Formal Methods and Techniques.- F Acronyms.- G Copyrights and Trademarks.- References.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 1990
• Lingua: Inglese
• ISBN 10: 3540196358
• ISBN 13: 9783540196358
• Rilegatura: Copertina flessibile
• Numero edizione: 1
• Numero di pagine: 260
• Redattore: Summerskill Karen
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania