RapiLog: reducing system complexity through verification
The multikernel: a new OS architecture for scalable multicore systems