Proving the value of formal methods

  title={Proving the value of formal methods},
  author={Gerard J. Holzmann},
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verification is sometimes feasible in an industrial setting; our aim must be to integrate verification techniques into the software design cycle as a non−negotiable part of quality control. We take a snapshot of the state of the art in formal verification, and, for inspiration, compare it with other points in history where… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
10 Extracted Citations
8 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-8 of 8 references

West,The challenges facing formal description techniques

  • C H.
  • Proc. 6th FORTE Conference,
  • 1993

Hall,Seven myths of formal methods

  • J A.
  • IEEE Software,
  • 1990

An assessment of techniques for proving program correctness

  • R. J. Waldinger
  • Computing Surveys
  • 1976

Dijkstra,Correctness concerns and, among other things, why they are resented

  • E W.
  • Sigplan Notices,
  • 1975

Seven myths of formal methods

  • J. Patti
  • IEEE Software Proc . 1 st IFIP / INWG Symp . on…

Similar Papers

Loading similar papers…