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: 1447135334 ISBN 13: 9781447135333

Casa editrice: Springer, 2014

Riassunto

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: 2014
• Lingua: Inglese
• ISBN 10: 1447135334
• ISBN 13: 9781447135333
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile