1

"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. ...


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