Ведущий: Захаров Илья, сотрудник отдела технологий программирования, к.ф.-м.н. Сфера научных интересов - формальная верификация системного программного обеспечения.
Выставка состоит из двух частей: интерактива и автопрезентации.
Интерактив проводится в ZOOM по расписанию:
- 12:20 - Klever. Обнаружение нарушений нефункциональных требований в исходном коде крупных программных систем на языке программирования Си при помощи системы верификации Klever.
- 14:20 - Klever. Обнаружение нарушений нефункциональных требований в исходном коде крупных программных систем на языке программирования Си при помощи системы верификации Klever.
Всё остальное время с 11:00 до 16:00 вы можете посмотреть автопрезентацию и оставить свои вопросы. Во время интерактива ведущий на них ответит. Если вы не можете быть онлайн в это время, оставьте свои контакты после вопроса в чате Zoom и вам обязательно ответят.