Automated Revision of Distributed and Real-Time Programs

The theory of automated program revision studies possibilities and limitations of revising existing programs. We require that such revision must be achieved within the given program's current state space so that the revised program satisfies newly identified requirements while it continues to satisfy its current properties. The main focus of this theory is to identify instances where automated revision of programs can be achieved efficiently (possibly in polynomial-time) and where it is difficult (i.e., hard in some class of complexity). Thus far, the theory has been established in two contexts: (1) adding properties to existing programs in c...