Каким способом гарантируется корректность работы программ