DocumentCode
2675607
Title
Seven deadly sins [Formal methods]
Author
Hinchey, Michael G. ; Bowen, Jonathan P.
Author_Institution
Comput. Lab., Cambridge Univ., UK
fYear
1995
fDate
34838
Firstpage
42461
Lastpage
42463
Abstract
The use of formal methods is fraught with difficulties, any one of which could cause the downfall of a project depending on their use. We enumerate a number of pitfalls which should be avoided in order to help make sure a formal methods project is successful. While this cannot ensure favourable results, it will help to avoid failure, which is all too easy an outcome
Keywords
formal specification; formal verification; formal methods project;
fLanguage
English
Publisher
iet
Conference_Titel
Practical Application of Formal Methods, IEE Colloquium on
Conference_Location
London
Type
conf
DOI
10.1049/ic:19950707
Filename
477886
Link To Document