Learning invariants using decision trees and implication counterexamples

Keyphrases

• Decision Tree 100%
• Decision Tree Algorithm 100%
• Decision Implication 100%
• Learning Algorithm 50%
• Statistical Measures 50%
• Machine Learning Techniques 50%
• Learning Model 50%
• Machine Learning 50%
• Program Verifiers 50%
• Inductive Invariants 50%
• Invariant Synthesis 50%
• Positive-negative 50%

Computer Science

• Invariant 100%
• Decision Tree 100%
• Learning Algorithm 75%
• Machine Learning Technique 25%
• Machine Learning 25%
• Learning System 25%