Requirements for industrial-strength formal method tools

Addresses issues concerning requirements for formal method tools. The question asked was: "What requirements should a formal methods-based software tool environment satisfy in order to meet both the criteria of formal methods, yet still be useful (usable) in industry?". The stated requirements for formal method tools were quite similar to what might be expected for any tool that is to be used in an industrial software engineering environment. However, there is a general consensus that formal methods tools must be "invisible and automatic" if they are to be used in an industrial setting.