Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"Proof Checking"”.
-
Automated proof checking in introductory discrete mathematics classes
… In the process of learning to write math proofs, instructors are heavily involved in giving feedback about correct and incorrect proofs. Computerized feedback in this area can ease the burden on instructors and help students learn more efficiently. Several software packages exist that can …
-
Qualitative Spatial Reasoning With Super-Intuitionistic Logics
… modalities and intermediate axioms. A proof-checking tool for some of these logics has been developed, by formalising them in Isabelle-HOL, an interactive theorem-prover based on classical higher-order logic. A partial decidability result is given for an extension of intuitionistic …
-
Higher-order proof translation
… mathematical data between tools. Writing proof-translation tools is hard. The problem has both a theoretical side (to ensure that the translation is adequate) and a practical side (to ensure that the translation is feasible and usable). Moreover, the source and target proof formats might …
-
Matching μ-Logic
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2023-12-04 without embargo terms
-
Techniques for Foundational End-to-End Verification of Systems Stacks
… mathematical specifications and machine-checked proofs that the implementations conform to the specifications. However, there could still be bugs in the specifications or in the verification tools, which could lead to missed bugs in the software being verified. Therefore, this dissertation …