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.
No takes yet. Share an insight, caveat, or question.
Mike Hinchey (1995) studied this question.