RapiLog: reducing system complexity through verification.

Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso

Browse the full EuroSys paper archive.