Семинар лаборатории ПОИС: «Временные автоматы (Timed Automata)» // Ю. Новикова

В понедельник 11 февраля 2013 г. в 18:30 состоялось очередное заседание семинара лаборатории ПОИС, посвященное вопросам временных автоматов.  

Слушался доклад магистранта Отделения программной инженерии НИУ ВШЭ Ю. Новиковой по теме «Временные автоматы (Timed Automata)».

Временные автоматы — популярное средство для моделирования и верификации систем реального времени.
В докладе были рассмотрены семантические и алгоритмические аспекты верификации временных автоматов.

Семинар проходил в режиме онлайн-конференции со специалистами кампуса НИУ ВШЭ в Нижнем Новгороде.