ICE: A Robust Framework for Learning Invariants

@inproceedings{Garg2014ICEAR,
  title={ICE: A Robust Framework for Learning Invariants},
  author={Pranav Garg and Christof L{\"o}ding and P. Madhusudan and Daniel Neider},
  booktitle={CAV},
  year={2014}
}
We introduce a robust learning paradigm for synthesizing invariants, called ICE-learning, that learns using examples, counter-examples, and implications, and show that it admits honest teachers and convergent mechanisms for invariant synthesis. We observe that existing algorithms for black-box abstract interpretation can be interpreted as ICE learning algorithms. We develop new convergent ICE-learning algorithms for two domains, one for learning Boolean combinations of numerical invariants for… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 101 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

102 Citations

0204020142015201620172018
Citations per Year
Semantic Scholar estimates that this publication has 102 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…