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