A Formal Model for the Block Device Subsystem of the Linux Kernel.

Peter T. Breuer

Browse the full ICFEM paper archive.