A precise description of the (intended) behavior of a system, usually written in a mathematical language, sometimes for the
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.