Verify that the program segment if x < 0 then x := 0 is
Chapter 4, Problem 4.5.2(choose chapter or problem)
Verify that the program segment if x < 0 then x := 0 is correct with respect to the initial assertion T and the final assertion x 2: O.
Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.
Becoming a subscriber
Or look for another answer