ICE: A Robust Framework for Learning Invariants

Tool for ICE Learning Numerical Invariants

We have implemented a tool over Boogie for ICE learning numerical invariants. The Windows x86 executable can be downloaded from the link below. Instructions to run the tool are contained in a README inside the zip file.

• Download: ice.zip (6.2MB)

Benchmarks

The suite of benchmark programs for the experiments reported in the CAV submission can be downloaded below.

• Download: numerical_bench.zip (45KB)
• Download: quantified_bench.zip (11.2KB)

Back to Homepage

Last Updated: Feb 10 2014.