Learning invariants using decision trees and implication counterexamples

Article Details
Title:	Learning invariants using decision trees and implication counterexamples
Article URLs:	https://doi.org/10.1145/2837614.2837664
Alternative Article URLs:
Authors:	Pranav Garg	University of Illinois at Urbana-Champaign, USA
	Daniel Neider	University of Illinois at Urbana-Champaign, USA
	P. Madhusudan	University of Illinois at Urbana-Champaign, USA
	Dan Roth	University of Illinois at Urbana-Champaign, USA
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	http://madhu.cs.illinois.edu/popl16
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1138994
DBLP Key:	conf/popl/0001NMR16
Author Comments:

ACM Principles of Programming Languages, POPL 2016