Seven deadly sins (Formal methods)

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.