Automatic device driver synthesis with termite.

Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser

Browse the full SOSP paper archive.