@Inproceedings{EPTCS280.2, author = {Mehta, Mihir Parang}, year = {2018}, title = {Formalising Filesystems in the ACL2 Theorem Prover: an Application to FAT32}, editor = {Goel, Shilpi and Kaufmann, Matt}, booktitle = {{\rm Proceedings of the 15th International Workshop on the} ACL2 Theorem Prover and Its Applications, {\rm Austin, Texas, USA, November 5-6, 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {280}, publisher = {Open Publishing Association}, pages = {18-29}, doi = {10.4204/EPTCS.280.2}, }