Constraint programming solutions to LogicQL program verification and system resilience problems

Constraint Programming (CP) is the study of solving problems by stating constraints on the solution to be found. Many computer science problems can be viewed as a special case of the constraint problem. In this thesis, we focus on using CP solvers for solving two distinct problems. First, we develop and implement a framework for an automatic generation of models that satisfy a program in LogicQL, a high-level database query language. We show that our system gives immediate feedback to the user and can be used for incremental development of LogicQL programs. Second, we consider a system resilience problem that is important in many application domains. We present the design and implementation of SR-solver, a novel integrated tool for evaluating system resilience. The SR-solver supports a graphical representation of the system, thus making the evaluation of system resilience accessible to general users.