[codeulike]

Oh I see, Formal Methods are what we now call 'planning ahead' now that Agile has made planning ahead unfashionable.