Linux Driver Verification Architecture

The paper discusses requirements to a twofold verification system that should be an open platform for experimentation with various verification techniques as well as an industrial-ready domain specific verification tool for Linux device drivers. An architecture of a verification system implementing...

Full description

Bibliographic Details
Published in:Труды Института системного программирования РАН
Main Authors: V. S. Mutilin, E. M. Novikov, A. V. Strakh, A. V. Khoroshilov, P. E. Shved
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/1058

Internet

https://ispranproceedings.elpub.ru/jour/article/view/1058

Similar Items