В рамках международного семинара PSSV-2023 3-4 ноября пройдут соревнования по формальной верификации VeHa-23, организаторами которых являются и сотрудники нашего института.
Будут представлены задачи по верификации моделей и дедуктивной верификации и прочитаны лекции с необходимым для их решения теоретическим и практическим материалом. Для участия приглашаются все, кто интересуется формальными методами, логикой и формальными языками.