DESIGN BY CONTRACT
BTW, there is an emerging field "program synthesis" that is based on Design by contract where the compiler automatically generates code that takes you from preconditions to postconditions and verifies it to be correct.
Genetic progamming does the same.That's nice. Now you don't need those annoying programmers that cannot get things right. You only need the architect and the build system.