Complexity and information in invariant inference

Keyphrases

• Black-box Model 33%
• Capture Algorithms 33%
• Classical Theory 33%
• Convergence Rate 33%
• Counterexample-guided Inductive Synthesis 33%
• Exact Concept Learning 33%
• Exact Learning 33%
• Exponential number 66%
• Hoare Triples 33%
• ICE Learning 33%
• Inductive Invariants 33%
• Inference Methods 33%
• Information Theory 33%
• Invariant Inference 100%
• No-choice 33%
• Partial Information 33%
• Query Model 66%
• Reachable States 33%
• Safety Properties 33%
• Safety Verification 33%
• SAT-based 33%
• Transition System 66%

Computer Science

• Classical Theory 50%
• Convergence Rate 50%
• Exponential Number 100%
• Hoare Triple 50%
• Invariant 100%
• Labeled Example 50%
• Reachable State 50%
• Transition System 100%