Method

Formal methods

Overview

mathematical program specification intended to allow correctness proofs, including algorithmically

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

Related ideas

• Automata theory
• Formal language
• First-order logic
• Mathematics
• Natural language
• Rule of inference
• Automated theorem proving
• Formal verification
• Communications of the ACM
• Model checking
• Theoretical computer science
• Type theory
• Computer science
• Backus–Naur form
• Ambiguity
• Boolean function
• Mathematical proof
• Axiom
• Formal specification
• Expressive power (computer science)
• Lattice (order)
• NP-hardness
• Attempto Controlled English

Place in the tradition

Part of Outline of epistemology.

Explore Formal methods in the interactive graph →