RapiLog: reducing system complexity through verification

Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso. RapiLog: reducing system complexity through verification. In Zdenek Hanzálek, Hermann Härtig, Miguel Castro, M. Frans Kaashoek, editors, Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic, April 14-17, 2013. pages 323-336, ACM, 2013. [doi]

Abstract

Abstract is missing.