|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Верификация компонентов операционных системдоклад на конференции
- Авторы: Кулямин В.В., Хорошилов А.В., Петренко А.К.
- Международная Конференция (Семинар (workshop)) : Восьмой международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (Program Semantics, Specification and Verification: Theory and Applications, PSSV-2017)
- Даты проведения конференции: 26 июня 2017
- Дата доклада: 26 июня 2017
- Тип доклада: Приглашенный
- Докладчик: Кулямин В.В.
- Место проведения: Москва, Russia
-
Аннотация доклада:
The talk concerns recent advances in reaching the goal of industrial operating system (OS) verification. By industrial OS we mean a system actively used in some industrial domain, elaborated and maintained for a significant time, not a proof-of-concept OS developed with mostly research intentions. We consider decomposition of this goal into tasks related with various functional components of OS and various properties under verification, and application of different verification methods to those tasks. This is a trial to explicate and summarize the experience of several projects on various OS components and different OS features verification conducted in ISP RAS.
- Добавил в систему: Кулямин Виктор Вячеславович