Learning Universally Quantified Invariants of Linear Data Structures.

Pranav Garg, Christof Lding, P. Madhusudan, Daniel Neider

Browse the full CAV paper archive.