Keyword:filesystems

Publications
Binary-compatible verification of filesystems with ACL2 Mihir Mehta and William R. Cook EasyChair Preprint 1235