| Subject | English | Russian |
| progr. | code correctness | корректность кода (в соответствии с формально определенной спецификацией Alex_Odeychuk) |
| progr. | code correctness | корректность реализации (в соответствии с формально определенной спецификацией Alex_Odeychuk) |
| progr. | code correctness | правильность кода (ssn) |
| progr. | code correctness and efficiency | правильность и эффективность кода (ssn) |
| progr. | code's correctness | правильность кода (Alex_Odeychuk) |
| progr. | code's correctness | корректность кода (Alex_Odeychuk) |
| progr. | functional correctness of code | функциональную корректность кода (assess the functional correctness of code — оценить функциональную корректность кода  thenewstack.io Alex_Odeychuk) |
| softw. | mathematically proven code correctness | математически доказанная корректность кода (embedded.com Alex_Odeychuk) |