Верификация программного комплекса hySOL для расчета высокоскоростных теченийдоклад на конференции