Ivannikov Institute for System Programming of the RAS


Modeling Environment for Static Verification of Linux Kernel Modules.

Authors

Khoroshilov A., Mutilin V., Novikov E., Zakharov I.

Edition

Proceedings of PSI, pp. 116-125, 2014.

Research Group

Software Engineering

All publications during 2014 All publications