100% Verifiable Bug-Free Code Is Possible

 It doesn't matter how bug-free your application software is if the underlying OS is bug-ridden. But considering the size and complexity of modern operating systems (Windows XP is said to consist of more than 40-million lines of code), bug-free is easier said than done.



August 12, 2009
URL:http://www.drdobbs.com/cpp/100-verifiable-bug-free-code-is-possible/228701189

Terms of Service | Privacy Statement | Copyright © 2024 UBM Tech, All rights reserved.