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 (11)

• Automating Induction with an SMT Solver
• Automating Inductive Proofs Using Theory Exploration
• TIP: tons of inductive problems
• Proving properties of functional programs by equality saturation
• Inductive benchmarks for automated reasoning
• Lemma discovery for induction. A survey
• Induction in saturation-based proof search
• TIP: tools for inductive provers
• 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