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

William Sonnex Sophia Drossopoulou Susan Eisenbach

Published in: TACAS (2012)

Keyphrases

data structure
fully automated
semi automated
artificial intelligence
case study
natural language
semi automatic
computer aided
theorem prover
theorem proving
topological properties