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

Täydet tiedot

Bibliografiset tiedot

Päätekijät:	I. S. Zakharov, M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. K. Petrenko, A. V. Khoroshilov
Aineistotyyppi:	Artigo
Kieli:	Inglês
Julkaistu:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Sarja:	Труды Института системного программирования РАН
Aiheet:	ядро операционной системы модуль ядра качество программной системы статическая верификация контрактная спецификация модель окружения спецификация правила корректного использования программного интерфейса
Linkit:	https://ispranproceedings.elpub.ru/jour/article/view/789
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!