Axiomatic semantics
Axiomatic Semantics is an approach based on mathematical logic to proving the correctness of computer programs.
See also:
denotational semantics
operational semantics
This article is a stub. You can help Wikipedia by expanding it.