Source: wikibot/formal-specification

= Formal specification
{wiki=Formal_specification}

Formal specification is a method of defining system properties and requirements using mathematical models and formal languages. It serves as a precise way to describe the behavior, structure, and constraints of a software system or hardware design. The primary goal of formal specifications is to provide a clear and unambiguous description that can be used for various purposes, including: 1. **Verification**: Formal specifications can be rigorously tested and verified against mathematical criteria to ensure that a system behaves as intended.