formal design specification. Because the specification is expressed in
mathematical syntax and semantics, it is precise (by contrast with nonformal
and even semiformal specifications, which are open to reinterpretation).
The correctness of the specification’s syntax and semantics can be achieved