Formal Verification of a Combination Decision Procedure
- 4 July 2002
- book chapter
- Published by Springer Nature
- p. 347-362
- https://doi.org/10.1007/3-540-45620-1_29
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- ICS: Integrated Canonizer and Solver?Published by Springer Nature ,2001
- Operational Techniques in PVS — A Preliminary EvaluationElectronic Notes in Theoretical Computer Science, 2001
- Case studies in meta-level theorem provingPublished by Springer Nature ,1998
- Certified version of Buchberger's algorithmPublished by Springer Nature ,1998
- On Shostak's decision procedure for combinations of theoriesPublished by Springer Nature ,1996
- PVS: A prototype verification systemLecture Notes in Computer Science, 1992
- Towards mechanical metamathematicsJournal of Automated Reasoning, 1985
- Deciding Combinations of TheoriesJournal of the ACM, 1984
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979
- Edinburgh LCFLecture Notes in Computer Science, 1979