Answer Happy

3. Detector Sets Consider the space S defined by integer variables x, y, z. Compute the detector sets for partial correctness and total correctness of the following programs and specifications. • Programs: o pl: {while (y!=0) {z=z+x; y=y-1; } } op2: (while (y!=0) {z=z+x; y=y-1; } }