Abstract
This paper provides a summary of the breakout session addressing issues concerning requirements for formal method tools at the 1998 Workshop on Industrial Strength Formal Specification Techniques. The session participants were asked the question "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.