Comment by SoftTalker

When your requiremets are so detailed and comprehensive that the generated program is correct -- haven't you basically written the program?