

Formal engineering methods are intended to o'er e'ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e'ective, rigorous, and systematic techniques for signi'cant improvement...