Towards a verified component platform.

Matthew Fernandez, Ihor Kuz, Gerwin Klein, June Andronick

Browse the full SOSP paper archive.