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.


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

Back to Homepage

Last Updated: Feb 10 2014.