|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Verification of Operating Systemsдоклад на конференции
- Автор: Alexey Khoroshilov
- Международная Конференция : X Международная конференция молодых ученых в области программной инженерии SYRCoSE
- Даты проведения конференции: 30 мая - 1 июня 2016
- Дата доклада: 30 мая 2016
- Тип доклада: Приглашенный
- Докладчик: Alexey Khoroshilov
- Место проведения: Московская область, Можайский район, деревня Красновидово, Russia
-
Аннотация доклада:
The talk presents experience in application of various verification techniques to operating systems. It includes deductive verification of Linux security modules, software model checking of Linux device drivers, static analysis to detect data races in operating system kernels, model-based testing for compliance to API standards like LSB and POSIX, systematic fault injection for run-time testing.
- Добавил в систему: Корныхин Евгений Валерьевич