Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

Content: 
Front Matter, Page iii
Copyright, Page iv
Preface, Pages v-viii
Notice, Page viii
1 - An International Survey of Industrial Applications of Formal Methods, Page 2
2 - Formal Methods, Pages 3-7
3 - Case Summary, Pages 8-13
4 - Methodology, Pages 14-20
5 - Regulatory Cluster Analysis, Pages 21-29
6 - Commercial Cluster Analysis, Pages 30-37
7 - Exploratory Cluster Analysis, Pages 38-43
8 - Key Events and Timing, Pages 44-49
9 - Analysis of Formal Methods R & D Summary, Pages 50-65
10 - Findings, Observations and Conclusions, Pages 66-73
1 - Structured Systems Analysis and Design Method Toolset (SSADM) (Praxis Systems Ltd.), Pages 80-90
2 - IBM's Customer Information Control System, Pages 91-107
3 - Cleanroom Software Methodology, Pages 108-124
4 - Darlington: Trip Computer Software, Pages 125-148
5 - LaCoS ESPRIT Project (Building Large Complex Systems Using RAISE), Pages 149-167
6 - Multinet Gateway, Pages 168-180
7 - SACEM—A Railway Signalling System, Pages 181-198
8 - NIST Token–Based Access Control System (TBACS), Pages 199-214
9 - Tektronix—Use of Z Method on Oscilloscopes, Pages 215-228
10 - Traffic Alert and Collision Avoidance System (TCAS), Pages 229-241
11 - INMOS Transputer—Use of Formal Methods in Hardware Verification, Pages 242-254
12 - Hewlett–Packard Medical Instruments Analytical Information Base (AIB) Component Monitoring System, Pages 255-265
11 - References, Pages 74-77
Appendix A - Biographies of Authors, Pages 266-267
Appendix B - Formal Methods Techniques, Pages 268-299
Appendix C - Initial Questionnaire, Page 300
Appendix D - Questionnaire for Structured Interview, Pages 301-304
Appendix E - Review Committee, Page 305
Appendix F - Acknowledgements, Page 306