| 書目名稱 | Formal Methods for Trustworthy Computer Systems (FM89) |
| 副標(biāo)題 | Report from FM89: A |
| 編輯 | Dan Craigen,Karen Summerskill |
| 視頻video | http://file.papertrans.cn/346/345817/345817.mp4 |
| 叢書名稱 | Workshops in Computing |
| 圖書封面 |  |
| 描述 | 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 t |
| 出版日期 | Conference proceedings 1990 |
| 關(guān)鍵詞 | computer; computer security; critical systems; development; formal method; formal methods |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4471-3532-6 |
| isbn_softcover | 978-3-540-19635-8 |
| isbn_ebook | 978-1-4471-3532-6Series ISSN 1431-1682 |
| issn_series | 1431-1682 |
| copyright | Springer-Verlag Berlin Heidelberg 1990 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-14 11:19
發(fā)表于 2025-3-21 16:41:53
