These are the hardest bugs to find and debug because they throw no errors.
这些是最难发现和调试的bug，因为它们不会抛出错误。
Bugs in formal verification software can miss design errors and thus give false confirmation.
形式验证软件中的缺陷会遗漏设计错误并进而给出错误的确认。
I have tried to make this article as clear and professional-looking as possible, but as always, typing and context errors or outright bugs may still remain.
我尽可能的使文章表达清楚和专业，但任可能存在一些笔误或明显的bug。
Recovery-Oriented Computing (ROC) takes the perspective that hardware faults, software bugs, and operator errors are facts to avoid coped with, not problems to avoid.
面向修复计算把硬件故障、软件错误和操作员失误当作不可避免的事实，研究的是面对事实的处理技术。
Recovery -oriented Calculation (ROC) takes the perspective that hardware faults, software bugs, and operator errors are facts to be coped with, not problems to be solved.
面向恢复的计算(ROC)认为：硬件故障、软件故障以及操作员错误仍需要人们面对，但不必作为一定要彻底解决的问题。
Much more difficult is finding and correcting logical errors, or bugs.
较困难的是发现并纠正逻辑错误。
For whimsical reasons, programming errors are called bugs and the process of tracking them down and correcting them is called debugging .
由于古怪的原因，编程的错误被称为bug（译者按：当然，多个也就是Bugs了）。而找到他们并且纠正它们的过程就被称为调试（除错）。
For whimsical reasons, programming errors are called bugs and the process of tracking them down and correcting them is called debugging .
由于古怪的原因，编程的错误被称为bug（译者按：当然，多个也就是Bugs了）。而找到他们并且纠正它们的过程就被称为调试（除错）。
应用推荐