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