A survey of mechanical support for formal reasoning
- 1 January 1988
- journal article
- Published by Institution of Engineering and Technology (IET) in Software Engineering Journal
- Vol. 3 (1) , 3-27
- https://doi.org/10.1049/sej.1988.0002
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Proving Programs and Programming ProofsPublished by Elsevier ,1986
- Foundations of Constructive MathematicsPublished by Springer Nature ,1985
- Constructions: A higher order proof system for mechanizing mathematicsPublished by Springer Nature ,1985
- Program verification in a logical theory of constructionsPublished by Springer Nature ,1985
- Writing programs that construct proofsJournal of Automated Reasoning, 1985
- Mechanical Proofs about Computer ProgramsPublished by Defense Technical Information Center (DTIC) ,1984
- Verifying SecurityACM Computing Surveys, 1981
- Social processes and proofs of theorems and programsCommunications of the ACM, 1979
- Edinburgh LCFLecture Notes in Computer Science, 1979
- Metamathematical extensibility for theorem verifiers and proof-checkersComputers & Mathematics with Applications, 1979