There is no substitute for writing correct programs, no matter how hard it is. If you want correct programs you have to write them correctly.