Binary-Compatible Verification of Filesystems with ACL2

DOI10.4230/LIPICS.ITP.2019.25MaRDI QIDQ5875435zbMATH OpenOpenAlexFDO

Authors Mihir Parang Mehta, William R. Cook

Publication date 3 February 2023

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2019/11080/pdf/LIPIcs-ITP-2019-25.pdf

zbMATH Keywords

filesystemsinteractive theorem proving

Mathematics Subject Classification ID

Cites work

• An attempt to formalise a non-trivial benchmark problem in common sense reasoning
• Isabelle/HOL. A proof assistant for higher-order logic

Describes a project that uses

Uses Software

• Isabelle/HOL
• ACL2

This page was built for publication: Binary-Compatible Verification of Filesystems with ACL2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875435)