Modeling Environment for Static Verification of Linux Kernel Modules.


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