2

"In theory, theory is the same as practice, but not in practice." (Often attributed to Yogi Berra). Let me try to explain why the problem is hard - harder than it seems. Some things can be formally verified, others not. First, a piece of software to be verified is part of an ecosystem. It interacts with other software that may not be verified. ...


2

Here is something I tell my students. Compiling is like voting in Chicago: do it early and often. I tell them it is a bad idea to write a whole bunch of code without compiling because they then wind up having to sift through a ton of error messages. If you compile fairly often, you will not have a big search field for finding errors. One of my principles ...


Only top voted, non community-wiki answers of a minimum length are eligible