![VeHa-23 VeHa-23](/files/styles/news/public/news/image/veha-2023.png?itok=7Cdsxs0f)
В рамках международного семинара PSSV-2023 3-4 ноября пройдут соревнования по формальной верификации VeHa-23, организаторами которых являются и сотрудники нашего института.
Будут представлены задачи по верификации моделей и дедуктивной верификации и прочитаны лекции с необходимым для их решения теоретическим и практическим материалом. Для участия приглашаются все, кто интересуется формальными методами, логикой и формальными языками.