Abstract. For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it is still the case that the vast majority of potential users of formal methods fail to become actual users. A paper by Hall in 1990 [31] examined a number of `myths' concerning formal methods, assumed by some to be valid. This paper considers a few more beliefs held by many and presents some counter examples. 1
|
688
|
Software Engineering Economics
– Boehm
- 1981
|
|
390
|
PVS: A prototype verification system
– Owre, Shankar, et al.
- 1992
|
|
387
|
A Computational Logic Handbook
– Boyer, Mooer
- 1988
|
|
274
|
Larch: Languages and Tools for Formal Specifications
– Guttag, Horning
- 1993
|
|
207
|
A Specifier’s Introduction to Formal Methods
– Wing
- 1990
|
|
203
|
Seven Myths of Formal Methods
– Hall
- 1990
|
|
155
|
editors. Introduction to HOL: a theorem proving environment for higher order logic
– Gordon, Melham
- 1993
|
|
123
|
Managing the Development of Large Software Systems
– Royce
- 1970
|
|
107
|
Introducing OBJ3
– Goguen, Winkler
- 1988
|
|
99
|
An international survey of industrial applications of formal methods; volume 1: Purpose, approach, analysis and conclusions; volume 2: Case studies
– Craigen, Gerhart, et al.
- 1993
|
|
89
|
Seven More Myths of Formal Methods
– Bowen, Hinchey
- 1995
|
|
74
|
Formal methods for interactive systems
– Dix
- 1991
|
|
59
|
Safety-critical systems, formal methods and standards
– Bowen, Stavridou
- 1993
|
|
50
|
Intergrated Structured Analysis and Formal Speci cation Techniques
– Semmens, France, et al.
- 1992
|
|
38
|
Applications of Formal Methods
– Hinchey, Bowen
- 1995
|
|
38
|
Software safety in embedded computer systems
– LEVESON
- 1991
|
|
34
|
Towards a Provably Correct Hardware Implementation of Occam
– Jifeng, Page, et al.
- 1993
|
|
32
|
The industrial take-up of formal methods in safety-critical and other areas: A perspective
– Bowen, Stavridou
- 1993
|
|
29
|
Formal Methods and Safety-Critical Standards
– Bowen, Hinchey
- 1994
|
|
25
|
Larch: Languages and Tools for Formal Speci cation
– Guttag, Horning
- 1993
|
|
24
|
PVS: A Prototype Veri cation System
– Owre, Rushby, et al.
- 1992
|
|
19
|
Formal methods: A survey
– Austin, Parkin
- 1993
|
|
19
|
Developing correct systems
– Bowen, Franzle, et al.
- 1993
|
|
18
|
Developing a security-critical system using formal and conventional methods
– Fitzgerald, Larsen, et al.
- 1995
|
|
16
|
Mathematical proofs of computer systems correctness
– Barwise
- 1989
|
|
14
|
Selling Formal Methods to Industry
– Weber-Wulff
- 1993
|
|
13
|
Software quality assurance using the SAZ method
– Polack, Mander
- 1994
|
|
12
|
A Formal Semantics of Data Flow Diagrams
– Larsen, Plat, et al.
- 1993
|
|
11
|
The Formalization and Analysis of a Communication Protocol
– Bruns, Anderson
- 1991
|
|
9
|
et al.: A ProCoS II Project Description: ESPRIT Basic Research project 7071
– Bowen
- 1993
|
|
9
|
The Airbus A330/340 Cabin Communication System -- A Z Application
– Hamer, Peleska
- 1995
|
|
6
|
A spiral model of software development and maintenance
– Boehm
- 1988
|
|
6
|
Software Safety inEmbedded Computer Systems
– Leveson
- 1991
|
|
6
|
Selling Formal Methods to Industry
– Weber-Wul
- 1993
|
|
6
|
Multiparadigm specification of an AT&T switching system
– Mataga, Zave
- 1995
|
|
5
|
V.: Formal Methods: Epideictic or Apodeictic
– Bowen
- 1994
|
|
5
|
T.: Applications of Formal Methods: Observations and Trends
– Craigen, Gerhart
|
|
5
|
editors: Mechanized Reasoning and Hardware Design
– Hoare
- 1992
|
|
4
|
Assigning Meanings to Programs
– Abrial
- 1996
|
|
4
|
Formal development of CICS with B
– Hoare
|
|
4
|
N.: Formal Development of a Software Architecture for a Family of Instrumentation Systems
– Garlan
|
|
3
|
Formal Speci cations in Software Maintenance: From code to Z ++ and back again
– Bowen, Breuer
- 1993
|
|
3
|
Practical Experiences of Z and SSADM
– Draper
- 1993
|
|
3
|
N.: Formal Development ofaSoftware Architecture for a Family of Instrumentation Systems
– Garlan
|
|
3
|
P.: Multiparadigm Speci cation of an AT&T Switching System
– Mataga
- 1995
|
|
3
|
L.: Formal Specification of an Aerospace System: The Attitude Monitor
– Coombes, Fitzgerald, et al.
- 1995
|
|
2
|
L.: Formal Speci cation of an Aerospace System: The Attitude Monitor
– Coombes, Fitzgerald, et al.
|
|
2
|
M.: Specifying the Kernel of a Secure Distributed Operating System
– Guaspari, Seager
|
|
2
|
K.: Formal Development of Safety-Critical Medical Systems
– Haughton
|
|
2
|
Encoding W: A Logic for Z
– Martin
|
|
