Тема
Динамическая верификация программ во время выполнения.
Цель работы
Сделать возможной динамическую проверку свойств, описанных на LTL, осуществляемую в рамках СОА «RedSecure»
Актуальность
Система осуществляющая динамическую проверку свойств позволяет осуществлять проверку в системах ...
Найдено 2 результата
- 21 дек 2009 09:42 pm
- Форум: Студенческие задачи (2009-2010)
- Тема: Константин Савенков / Ампилогов Антон, 4 курс, sec-sem
- Ответы: 1
- Просмотры: 63901
- 17 дек 2008 10:43 pm
- Форум: Студенческие задачи (2008-2009)
- Тема: Константин Савенков / Антон Ампилогов, 3 курс, sec-sem
- Ответы: 1
- Просмотры: 57573