Ivannikov Institute for System Programming of the RAS


The Experience of Linux Driver Verification.

Authors

Alexey Khoroshilov, Vadim Mutilin.

Edition

Talk at Dagstuhl Seminar 14171, Schloss Dagstuhl, 25 April 2014.

Research Group

Software Engineering

All publications during 2014 All publications