Skip to content
SynAc
Term

formal specification

A precise description of the (intended) behavior of a system, usually written in a mathematical language, sometimes for the

Senses

(I)

A precise description of the (intended) behavior of a system, usually written in a mathematical language, sometimes for the

purpose of supporting formal verification through a correctness proof. [Huff] (See: Affirm, Gypsy, HDM, Ina Jo.) (See: formal.)

Tutorial: A formal specification can be written at any level of detail but is usually a top-level specification.

References
  • IETF RFC 4949 (Internet Security Glossary)Jan 06, 2026
    RFC 4949 — Internet Security Glossary (Version 2)
    https://www.rfc-editor.org/rfc/rfc4949.txt
    RFC 4949 is published by the IETF Trust and marked as "Distribution of this memo is unlimited". Verify IETF Trust copyright/licensing terms for reuse.
    Source: IETF RFC 4949 (rfc-editor.org).