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