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