Question: Verify the program segment if x > y then x := y with respect to the initial assertion T and the final assertion x

Verify the program segment
if x > y then
x := y
with respect to the initial assertion T and the final assertion x ≤ y.

Step by Step Solution

★★★★★

3.48 Rating (168 Votes )

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock

There are two cases If x y initially then the statement x y is not execut... View full answer

blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Document Format (1 attachment)

Word file Icon

923-M-C-M-S (1910).docx

120 KBs Word File

Students Have Also Explored These Related Statistics Questions!

Q:

Verify that the program segment x := 2 z := x + y if y > 0 then z := z + 1 else z := 0 is correct with respect to the initial assertion y = 3 and the final assertion z = 6.

Q:

Prove that the program segment y: = 1 z: = x + y is correct with respect to the initial assertion x = 0 and the final assertion z = 1.

Q:

In the program segment shown in Fig. 4.9, x, y, and answer are real variables, and n is an integer variable. Prior to execution of this while loop, the user supplies real values for x and y and a...

Q:

8.1. Dulles Electric Company buys 1 million tons of coal annually to burn at its power plant. The company wants to invest in a unit train that will haul coal from the mine to the power house, where...

Q:

6.1. Carbondale Company has the following credit policy 2/10, net 30. Carbondale also charges 1% per month interest on all accounts after 30 days. The following table shows the collection schedule of...

Q:

Consider the program segment S. initial assertion p: m Z + {0}, x R i := 0 exp := 1 while i =/(does not equal) m exp := exp x i := i + 1 (a) What is the final assertion q for this program segment?...

Q:

Consider the program segment S below. initial assertion p: m Epsilon Integer numbers set^+ U {0}, x Epsilon Real numbers set i: 0 exp: = 1 while i Not equal sign m exp: = exp . x i ; = + 1 What is...

Q:

Problem 7 ( 6 points ) Verify that the given program segment is correct with respect to the initial assertion T and the final assertion y = 2 , using three cases. if x 0 then y : = - 2 | x | x else...

Q:

Hello there, I am having a real hard time figuring out how to arrive at the gross plant & equipment amount for Exercise 4-9 part a Colgate's Average total life span of plant and equipment using their...

Q:

a) Does testing a computer program to see whether it produces the correct output for certain input values verify that the program always produces the correct output? b) Does showing that a computer...

Q:

In 2012, the following data were reported by the U.S. Census Bureau. The data show the number of people (in thousands) living above and below the poverty line in each of the four regions of the...

Q:

Suppose that you have been asked to recommend a forecasting technique that would be appropriate to prepare a forecast, given the following situational characteristics: a. You have 10 years of...

Q:

Write a procedure named DifferentInputs that returns EAX = 1 if the values of its three input parameters are all different; otherwise, return with EAX = 0. Use the PROC directive with a parameter...

Q:

In the game of poker each player receives five cards dealt from a deck of 52 cards. Full house refers to a five-card hand consisting of three of a kind and two of a kind. An example of a full house...

Q:

Construct a normal probability plot of the wine quality rating data in Exercise 6-27. Does it seem reasonable to assume that this variable is normally distributed?

Q:

Construct a normal probability plot of the suspended solids concentration data in Exercise 6-24. Does it seem reasonable to assume that the concentration of suspended solids in water from this...

Q:

Construct two normal probability plots for the height data in Exercises 6-22 and 6-29. Plot the data for female and male students on the same axes. Does height seem to be normally distributed for...

Q:

NPV. Miglietti Restaurants is looking at a project with the following forecasted sales: first-year sales quantity of 34,000, with an annual growth rate of 4.00% over the next ten years. The sales...

Q:

Q4) Magnetic Corporation expects dividends to grow at a rate of 15.29% for the next two years. After two years, dividends are expected to grow at a constant rate of 5.04% , indefinitely. Magnetics...

Q:

in the percentage of sales model, which one of these is LEAST apt to increase in a linear fashion as sales increase? cost of raw materials accounts payable accounts receivable fixed assets