Denotational Semantics is the basic tool of software design.

Meaning, model the whole thing in math, then you know whether the implementation matches the design.