Zeno

MaRDI QIDQ19752swMATHFDO

Official website http://www.haskell.org/haskellwiki/Zeno

Described by source

• Zeno: an automated prover for properties of recursive data structures

Cited in

(25)

• IsaPlanner
• ACL2s
• HipSpec
• Integer induction in saturation
• Removing algebraic data types from constrained Horn clauses using difference predicates
• Inductive benchmarks for automated reasoning
• HERMIT
• Lemma discovery for induction. A survey
• Induction in saturation-based proof search
• Hipster
• Inductive theorem proving based on tree grammars
• Automating Induction with an SMT Solver
• Proving properties of functional programs by equality saturation
• Cyclist
• TIP
• Graphsc
• QuickSpec
• Pirate
• MATHsAiD
• TIP: tons of inductive problems
• TIP: tools for inductive provers
• Refal
• Automating Inductive Proofs Using Theory Exploration
• Imandra
• eThor

This page was built for software: Zeno