Method

Formal specification

Overview

mathematically based techniques whose purpose are to help with the implementation of systems and software

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Formal verification
• Theorem
• Computer science

Place in the tradition

Part of First-order logic.

Explore Formal specification in the interactive graph →