Question: 2. (5 marks) What should the pre-condition P be in each of the following ten correctness statements for the statement to be an instance of

2. (5 marks) What should the pre-condition P be in each of the following ten correctness statements for the statement to be an instance of Hoare's axiom scheme? All variables are of type int. (a) P { x = 1; } x == 1 (b) P { x = 1; } x == 2 (c) P { x = y + z; ) 0 y + 2 (e) P { x = x*y*z + 1; } y*y > x+ 5 (f) P { z = y + 1; } Exists(y = 0; y w + 2 (h) P { x = z + 1; } ForAll(z = 1; z

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock 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

Students Have Also Explored These Related Mathematics Questions!

What should the pre - condition P be in each of the following ten correctness statements for the statement to be an instance of Hoare s axiom scheme? All variables are of type int. P { z = x + y; }...

1. (5 marks) What should the pre-condition be in each of the following ten correctness statements for the statement to be an instance of Hoare's axiom scheme? All variables are of type int. (a) P { x...

MUST BE CORRECT ANSWERS A small software company has the following simplified cashflow, funded by shareholders' equity of 20,000 and a bank overdraft of 5000: Invoiced money received 2 months after...

What should the pre-condition P be in each of the following correctness statements for the statement to be an instance of Hoares axiom scheme? All variables are of type int. (a) P { x = 1; } x y +...

What should the pre-condition P be in each of the following correctness statements for the statement to be an instance of Hoare's axiom scheme? All variables are of type int. (a) P { x = 1; } x y +...

Briefly describe ASCII and Unicode and draw attention to any relationship between them. [3 marks] (b) Briefly explain what a Reader is in the context of reading characters from data. [3 marks] A...

ANSI-SPARC6 Programming Language Compilation Write notes on each of the following topics: (a) the implementation of labels and jumps in a recursive, block structured programming language [7 marks]...

Consider Hoare triples of the form {T} V := E {V = E} where T is the atomic formula 'true' and V and E range over variables and expressions, respectively. (i) Write down an instance of such a triple...

s sf Define the terms opaque type and concrete type. [5 marks] The following is a shortened version of one of the definition modules described in the Modula-2 user manual: Provide a suitable...

A crew plays numerous seasons with 20 suits in every season. If the crew is at domestic, the opportunity of triumphing is zero.7. The probability of triumphing away is 0.4. No video games are...

In a fiscal year, a city collected $32.3 million in revenues. City spending for that year is expected to be nearly the same, with no tax increase projected. Expenditure: Reserves 0.7%, capital outlay...

In a Club, subscription received for current year Rs. 2,50,000.Subscription of current year received in the previous year Rs. 25,000. Subscription out-standing for current year 45,000.Subscription...

9 a Work out. Some working has been shown to help you with the first two. i 6+=6x4+3=| ii iv 8+ 877 9+9x5+3= =9x5 5 V 12+ 5 i 7+ 1/1 vi 20+ 20+1 5

You want a seat on the board of directors of Zeph, Inc. The company has 275,000 shares of stock outstanding and the stock sells for $70 per share. There are currently 4 seats up for election. If the...