Deconstructing Shostak
- 13 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- STP: A mechanized logic for specification and verificationPublished by Springer Nature ,2005
- Normalization via Rewrite ClosuresPublished by Springer Nature ,1999
- Unification in the Union of Disjoint Equational Theories: Combining Decision ProceduresJournal of Symbolic Computation, 1996
- STeP: Deductive-algorithmic verification of reactive and real-time systemsPublished by Springer Nature ,1996
- PVS: A prototype verification systemLecture Notes in Computer Science, 1992
- Deciding Combinations of TheoriesJournal of the ACM, 1984
- Variations on the Common Subexpression ProblemJournal of the ACM, 1980
- Fast Decision Procedures Based on Congruence ClosureJournal of the ACM, 1980
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979
- An algorithm for reasoning about equalityCommunications of the ACM, 1978