“I do not believe we will find the magic here. Program verification is a very powerful concept, and it will be very important for such things as secure operating system kernels. The technology does not promise, however, to save labor.… — Frederick P. Brooks Jr Copy Share Image
