HipSpec
From MaRDI portal
Software:19753
swMATH7736MaRDI QIDQ19753FDOQ19753
Author name not available (Why is that?)
Source code repository: https://github.com/danr/hipspec
Cited In (18)
- Equivalence checking of two functional programs using inductive theorem provers
- TIP: Tools for Inductive Provers
- Superposition with structural induction
- Automating Inductive Proofs Using Theory Exploration
- Proving properties of functional programs by equality saturation
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
- Disproving Inductive Entailments in Separation Logic via Base Pair Approximation
- Title not available (Why is that?)
- Hipster: Integrating Theory Exploration in a Proof Assistant
- TIP: Tons of Inductive Problems
- Induction with generalization in superposition reasoning
- Theory exploration powered by deductive synthesis
- Unprovability results for clause set cycles
- Induction and Skolemization in saturation theorem proving
- Removing algebraic data types from constrained Horn clauses using difference predicates
- Quick specifications for the busy programmer
- Combining induction and saturation-based theorem proving
- Inductive theorem proving based on tree grammars
This page was built for software: HipSpec
