Learning Invariants using Decision Trees and Implication Counterexamples

Tool for Learning Numerical Invariants using Decision Trees

We have implemented a tool over Boogie for learning numerical invariants using the C5 decision tree algorithm. The benchmarks and the Windows x86 executable can be browsed/downloaded from the links below. Instructions to run the tool are contained in a README in the directory.

• Browse supplemental material (including benchmarks and the tool). submission
• Download supplemental material (including benchmarks and the tool). submission.zip

Back to Homepage

Last Updated: Feb 10 2014.