Configurable Toolset for Static Verification of Operating Systems Kernel Modules

An operating system (OS) kernel is a critical software regarding to reliability and efficiency. Quality of a modern OSs kernel is high enough. Another situation is with kernel modules, e.g. device drivers, which due to various reasons have a significantly lower level of quality. One of the most crit...

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Authors:	I. S. Zakharov, M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. K. Petrenko, A. V. Khoroshilov
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:	ядро операционной системы модуль ядра качество программной системы статическая верификация контрактная спецификация модель окружения спецификация правила корректного использования программного интерфейса
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/789