Роль проверки в разработке динамических систем