Page 1 of 1
Consider the space S defined by integer variables x,y,z. Compute the detector sets for partial correctness and total cor
Posted: Thu Jul 14, 2022 2:06 pm
by answerhappygod
- Consider The Space S Defined By Integer Variables X Y Z Compute The Detector Sets For Partial Correctness And Total Cor 1 (72.93 KiB) Viewed 15 times
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 p1: \{while (y!=0){z=z+x;y=y−1;}} o p2: \{while (y!=0){z=z+x;y=y−1;}} - Specifications: R0={(s,s′)∣z′=xy}R1={(s,s′)∣z′=z+xy}R2={(s,s′)∣y≥0∧z′=xy} In other words, fill out the following tables: