Minimalist Proof Assistants: Interactions of Technology and Methodology in Formal System Level Verification (abstract).

Kenneth L. McMillan

Browse the full FMCAD paper archive.