Ten Commandments of Formal Methods

Jonathan P. Bowen, Michael G. Hinchey

Research output: Contribution to specialist publicationArticle

Abstract

Formal methods permit more precise specifications and earlier error detection. Software developers who want to benefit from formal methods would be wise to heed these ten guidelines.

Original languageEnglish
Pages56-63
Number of pages8
Volume28
No.4
Specialist publicationComputer
DOIs
Publication statusPublished - Apr 1995
Externally publishedYes

Fingerprint

Dive into the research topics of 'Ten Commandments of Formal Methods'. Together they form a unique fingerprint.

Cite this