Model and Program Repair via SAT Solving

Paul C. Attie, Jad Saklawi

We consider the following \emph{model repair problem}: given a finite Kripke structure $M$ and a specification formula $\eta$ in some modal or temporal logic, determine if $M$ contain…