The formal specification becomes information for process and rules engines to run.

Being a formal specification means that it mandates specific requirements.

The idea with formal specifications is to minimize the creation of such errors.

By creating a formal specification, the designers are forced to make a detailed system analysis early on in the project.

Whether the formal specification correctly describes the problem to be solved is a separate issue.

So it's going to be a formal specification moving forward for email on the Internet.

A formal specification for this protocol exists in the and modules.

A grammar is a finite, formal specification of this set.

Other properties can be more conveniently captured as formal specifications.

They produced a formal specification and fortunately got some feedback from the Internet community before just going public with it.