Formal methods

mathematics, specification
Mathematically based techniques for the specification, development and verification of software and hardware systems.
Referentially transparent languages are amenable to symbolic manipulation allowing program transformation (e.g. changing a clear inefficient specification into an obscure but efficient program) and proof of correctness.
Oxford FM archive (


Read Also:

  • Formal mode

    noun 1. (philosophy) the style in which words are explicitly mentioned rather than used of their subject matter. “Fido” is a dog’s name is in the formal mode, while “Fido is a dog” is in the material mode See also mention (sense 7)

  • Foretopman

    [fawr-top-muh n, fohr-; Nautical fawr-tuh p-muh n, fohr-] /ˌfɔrˈtɒp mən, ˌfoʊr-; Nautical ˈfɔr təp mən, ˈfoʊr-/ noun, plural foretopmen. 1. a member of a ship’s crew stationed on the .

  • Formal object role modeling language

    language (FORML) A CASE language? (1997-04-12)

  • Formal review

    project A technical review conducted with the customer including the types of reviews called for in DOD-STD-2167A (Preliminary Design Review, Critical Design Review, etc.) (1996-05-15)

Disclaimer: Formal methods definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.