Environment Modeling of Linux Operating System Device Drivers

In static device driver verification of Linux operating system it is necessary to take into account the specifics of the communication between drivers and kernel core as far as it plays the main role in the drivers’ behavior. At the same time the verification of a driver together with kernel core so...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí: I. S. Zakharov, V. S. Mutilin, E. M. Novikov, A. V. Khoroshilov
Formáid: Alt
Teanga:English
Foilsithe / Cruthaithe: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Sraith:Труды Института системного программирования РАН
Ábhair:
Rochtain ar líne:https://ispranproceedings.elpub.ru/jour/article/view/875