Ведущий: Ефремов Денис, сотрудник отдела технологий программирования, м.н.с ИСП РАН. Сфера научных интересов: формальные методы, статический/динамический анализ, операционные системы.
Выставка состоит из двух частей: интерактива и автопрезентации.
Интерактив проводится в ZOOM по расписанию:
- 12:00 - Презентация инструментов AstraVer. Лицензия, исходные коды, на каких открытых инструментах основаны, в чем состоят доработки, где взять и как использовать.
- 14:00 - Презентация системы дедуктивного доказательства программ на языке Си Frama-C с плагином AstaVer. Разбор простых примеров доказательства функций и разработки спецификаций, демонстрация работы с инструментом.
Всё остальное время с 11:00 до 16:00 вы можете посмотреть автопрезентацию и оставить свои вопросы. Во время интерактива ведущий на них ответит. Если вы не можете быть онлайн в это время, оставьте свои контакты после вопроса в чате Zoom и вам обязательно ответят.