Regular Repair of Specifications

  title={Regular Repair of Specifications},
  author={Michael Benedikt and Gabriele Puppis and Cristian Riveros},
  journal={2011 IEEE 26th Annual Symposium on Logic in Computer Science},
What do you do if a computational object (e.g. program trace) fails a specification?An obvious approach is to perform \emph{repair}: modify the object minimally to get something that satisfies the constraints..In this paper we study repair of temporal constraints, given as automata or temporal logic formulas. We focus on determining the number of repairs that must be applied to a word satisfying a given input constraint in order to ensure that it satisfies a given target constraint. This number… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.

Similar Papers

Loading similar papers…