Verifying compiled file system code

Jan Tobias Mühlberg, Gerald Lüttgen. Verifying compiled file system code. Formal Asp. Comput., 24(3):375-391, 2012. [doi]

Abstract

Abstract is missing.