Каким образом гарантируется правильность функционирования программ