This depends on conceptual correctness of algorithms, and minimization of programming mistakes, such as mistakes in resource management (e.g., buffer overflows and race conditions) and logic errors (such as division by zero or off-by-one errors).
Ова зависи од концептуална исправноста на алгоритмите, и минимизирање на програмерските грешки, како што се грешки во управување со ресурси (на пример, buffer overflows и race conditions) и логика грешки (како што се поделба од нула или off-by-one errors).