Abstract

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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call