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