TIP: Tons of Inductive Problems
From MaRDI portal
Publication:3453129
DOI10.1007/978-3-319-20615-8_23zbMath1417.68179OpenAlexW2109261022MaRDI QIDQ3453129
Dan Rosen, Nicholas Smallbone, Moa Johansson, Koen Claessen
Publication date: 20 November 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://research.chalmers.se/en/publication/222739
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
Inductive benchmarks for automated reasoning ⋮ Theory exploration powered by deductive synthesis ⋮ TIP: Tons of Inductive Problems ⋮ Automated theory exploration for interactive theorem proving: an introduction to the Hipster system ⋮ Integer induction in saturation ⋮ Unprovability results for clause set cycles ⋮ Induction and Skolemization in saturation theorem proving
Uses Software
Cites Work
- Productive use of failure in inductive proof
- Automating Induction with an SMT Solver
- Zeno: An Automated Prover for Properties of Recursive Data Structures
- TIP: Tons of Inductive Problems
- Automating Inductive Proofs Using Theory Exploration
- Induction for SMT Solvers
- Hipster: Integrating Theory Exploration in a Proof Assistant
- Case-Analysis for Rippling and Inductive Proof
This page was built for publication: TIP: Tons of Inductive Problems
