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