Мероприятие станет крупнейшем событием года в мире по формальным методам программной инженерии. 

Виктор Ривера, старший научный сотрудник Лаборатории разработки программной инженерии Университета Иннополис стал спикером семинара по формальным методам программной инженерии FormaliSE 2016. Мероприятие состоится 15 мая в американском городе Остин, штат Техас, в рамках 38-й Международной конференции по программной инженерии ICSE 2016, которое по праву можно назвать самым главным событием в области. Участниками события станут ведущие представители академической среды и крупных международных индустриальных компаний.

На семинаре исследователь из российского вуза выступит с докладом на тему «Применение формального метода разработки Event-B в проекте Tokeneer» (англ. “Undertaking the Tokeneer Challenge in Event-B”). Работа молодого учёного направлена на анализ практических примеров применения средств формальных методов для проверки параметров безопасности в проекте Tokeneer, разработанном компанией Praxis. 

«Анализ практических примеров из практики – шаг вперёд к внедрению формальных методологий в индустрию», - рассказал Виктор Ривера, сотрудник Лаборатории программной инженерии Университета Иннополис. Статья написана в соавторстве с Сукрити Бхаттахарая, научным сотрудником Университетского колледжа Лондона (UCL), и Нестором Катано, профессором Университета Иннополис.