|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
On formalization of operating systems behaviour verificationстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Дата последнего поиска статьи во внешних источниках: 4 сентября 2018 г.
- Автор: Khoroshilov Alexey
- Сборник: 2017 Computer Science and Information Technologies (CSIT)
- Год издания: 2017
- Место издания: IEEE
- Первая страница: 168
- Последняя страница: 172
- DOI: 10.1109/csitechnol.2017.8312164
- Аннотация: Operating systems are responsible for correct implementation of computation environment properties that are usually assumed during verification of application software like virtual address space, scheduling, time management, etc. Formal analysis of implementation of these aspects is often implemented using specific models and verification techniques. As a result comprehensive verification of operating systems requires a systematic combination of various verification techniques applied for checking different properties. The paper proposes a generic approach to formalization of operating systems behavioural properties verification that allows to apply wide range of verification techniques and to support formal reasoning of their compositions.
- Добавил в систему: Корныхин Евгений Валерьевич