Как поддерживается корректность исполнения программных систем