The Experience of Linux Driver Verification.


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