Zeno: An Automated Prover for Properties of Recursive Data Structures
From MaRDI portal
Publication:2894285
DOI10.1007/978-3-642-28756-5_28zbMath1352.68216OpenAlexW174956004MaRDI QIDQ2894285
Sophia Drossopoulou, William Sonnex, Susan Eisenbach
Publication date: 29 June 2012
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28756-5_28
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
Inductive benchmarks for automated reasoning ⋮ Automating Induction with an SMT Solver ⋮ Proving properties of functional programs by equality saturation ⋮ TIP: Tons of Inductive Problems ⋮ Getting saturated with induction ⋮ Integer induction in saturation ⋮ Induction in saturation-based proof search ⋮ Zeno ⋮ Removing algebraic data types from constrained Horn clauses using difference predicates ⋮ Inductive theorem proving based on tree grammars
Uses Software
This page was built for publication: Zeno: An Automated Prover for Properties of Recursive Data Structures
