[benterix]

A specification, whether formal or less formal, is very different from the source code.

[croon]

But it is also always less specific than source code, even if the attempt is to dictate the latter as close as possible.