ИСТИНА

• Охват: Международная
• Даты проведения: 2012
• Место проведения: Нижний Новгород
• Описание конференции:

  Семинар "Программные семантики, спецификации и верификация" является ведущим событием в России в области применения формальных методов в разработке и анализе программного обеспечения. Семинар проводится с совместно с конференцией "Computer Science Simposium (Russia)". В 2012 году третий семинар PSSV пройдет в Нижнем Новгороде. Первые два семинара прошли в 2010 году в Казани и в 2011 году в Санкт-Петербурге. На семинар приезжают ведущие российские и зарубежные ученые в области спецификаций, верификации и формальных методов. Основные направления, освещаемые на семинаре, связаны с верификацией, спецификациями программ и методами анализа программ.

• Добавил в систему: Зорин Даниил Александрович

Доклады:

• 2012 On the designing of model checkers for real-time distributed systems (Устный)
• Авторы: Коннов И.В., Подымов В.В., Зорин Д.А., Захаров В.А., Yu D.V.