SPLASH 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
SPLASH 2018 (series) / Artifact Evaluation /

Horn-ICE Learning for Synthesizing Invariants and Contracts

Deepak D'Souza, Ezudheen P, Pranav Garg, Daniel Neider, P. Madhusudan
SPLASH 2018 Artifacts
small-avatar
Deepak D'Souza
small-avatar
Ezudheen P
small-avatar
Pranav Garg
University of Illinois at Urbana-Champaign
small-avatar
Daniel Neider
Max Planck Institute for Software Systems
Germany
P. Madhusudan
P. Madhusudan
University of Illinois at Urbana-Champaign
United States