An International Survey of Industrial Applications of Formal Methods: Volume 1 Purpose, Approach, Analysis, and Conclusions (1993)

by Dan Craigen , Dan Craigen , Ora Canada , Ora Canada , Susan Gerhart , Susan Gerhart , Ted Ralston , Ronald H. Brown
Citations:98 - 2 self

Documents Related by Co-Citation

60 Safety-Critical Systems, Formal Methods and Standards – Jonathan P. Bowen, Jonathan Bowen, Victoria Stavridou, Victoria Stavridou - 1993
1098 The Z Notation: A Reference Manual – J Michael Spivey - 1992
54 Formal methods reality check: Industrial usage – D Craigen, S Gerhart, T Ralston - 1995
228 Seven myths of formal methods – Anthony Hall - 1990
28 CICS project report: Experiences and Results From the Use Of Z – I Houston, S King - 1991
176 Specifying Software Requirements for Complex Systems: New Techniques and Their Application – K L Heninger - 1980
6 formal proof, and the law courts – D Computers MacKenzie - 1992
36 Formal Methods in Safety-Critical Standards – Jonathan P. Bowen, Andrew Tanenbaum - 1993
106 Seven More Myths of Formal Methods – Jonathan P. Bowen, Michael G Hinchey - 1995
23 Formal Methods: A Survey – S Austin, G I Parkin - 1993
32 The Industrial Take-up of Formal Methods in Safety-Critical And Other Areas: A Perspective – Jonathan Bowen, Victoria Stavridou - 1993
69 Formal Methods and the Certification of Critical Systems – John Rushby - 1993
4 Formal Methods in Standards – C Ruggles - 1990
57 Using formal methods to develop an ATC information system – A Hall - 1996
1352 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
19 Formal Methods – J P Bowen, M G Hinchey - 2004
943 Object-Oriented Analysis and Design with Applications – G Booch - 1994
58 Formal Development of Reactive Systems: Case Study “Production Cell”, LNCS-891 – C Lewerentz, T Lindner - 1995
3 Towards veri ed systems – J P Bowen