Zeno

swMATH7735MaRDI QIDQ19752FDOQ19752

Author name not available (Why is that?)

Described by source

• Zeno: An Automated Prover for Properties of Recursive Data Structures

Cited In (12)

• TIP: Tools for Inductive Provers
• Automating Induction with an SMT Solver
• Automating Inductive Proofs Using Theory Exploration
• Proving properties of functional programs by equality saturation
• Inductive benchmarks for automated reasoning
• TIP: Tons of Inductive Problems
• Induction with generalization in superposition reasoning
• Lemma discovery for induction. A survey
• Induction in saturation-based proof search
• Integer induction in saturation
• Removing algebraic data types from constrained Horn clauses using difference predicates
• Inductive theorem proving based on tree grammars

This page was built for software: Zeno