By bloid
via codebetter.com
Published: Mar 31 2008 / 14:13
The only way to have bug-free code is to mathematically prove the code. Very few programs in the world are mathematically proved. Some industry can afford the price of a mathematical proof, especially when bugs would turn into human death, such as embedded software in planes, trains or cars.
Add your comment
