ICE: A robust framework for learning invariants. (2014)

by P Garg, C Löding, P Madhusudan, D Neider
Venue:In CAV 2014,