Modular verification of preemptive OS kernels.

Alexey Gotsman, Hongseok Yang

Browse the full ICFP paper archive.