A mechanically verified application for a mechanically verified environment
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 268-279
- https://doi.org/10.1007/3-540-56922-7_22
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Proving Matijasevich's lemma with a default arithmetic strategyJournal of Automated Reasoning, 1991
- Microprocessor design verificationJournal of Automated Reasoning, 1989
- An approach to systems verificationJournal of Automated Reasoning, 1989
- Nim, A Game with a Complete Mathematical TheoryAnnals of Mathematics, 1901