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