independently of the use of tools, and its consistency and completeness can be
verified through mathematical proofs.
Formal specification languages, of which there are dozens—many of
which are limited in scope to the specification of a particular type of software