Англоязычных программистов корректность программ интересует:
https://en.wikipedia.org/wiki/Correctness_(computer_science)
и китайских, и французских, и немецких, и других.
А вот русской страницы такой нет.
И правильно, зачем нам программы без ошибок?