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...

Szczegółowa specyfikacja

Opis bibliograficzny

Główni autorzy:	I. S. Zakharov, M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. K. Petrenko, A. V. Khoroshilov
Format:	Artigo
Język:	Inglês
Wydane:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Seria:	Труды Института системного программирования РАН
Hasła przedmiotowe:	ядро операционной системы модуль ядра качество программной системы статическая верификация контрактная спецификация модель окружения спецификация правила корректного использования программного интерфейса
Dostęp online:	https://ispranproceedings.elpub.ru/jour/article/view/789
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!