Model-Checking the Linux Virtual File System.

Andy Galloway, Gerald Lttgen, Jan Tobias Mhlberg, Radu Siminiceanu

Browse the full VMCAI paper archive.