Declarative infrastructure configuration synthesis and debugging

Keyphrases

• Kodkod 100%
• First-order Logic 66%
• Diagnostic Errors 33%
• Logical Constraints 33%
• Infrastructure Security 33%
• Finite Domain 33%
• Component Configuration 33%
• Problem Description 33%
• Output Value 33%
• Non-model 33%
• Simple Arithmetic 33%
• Error Diagnosis 33%
• Model Finder 33%
• Conceptual Gap 33%
• Arithmetic Conditions 33%
• Error-prone Repair 33%
• Infrastructure Availability 33%

Computer Science

• Configuration Database 100%
• Finding Method 50%
• Logic Constraint 50%
• Configuration Specification 50%
• Power of Model 50%
• Arithmetic Constraint 50%
• Component Configuration 50%
• Infrastructure Security 50%

Engineering

• Evaluator 66%
• Finite Domain 33%
• Output Value 33%