SOEN 331 Midterm: SOEN 331 Midterm 2017 Winter Sample B Solutions
Document Summary
The traffic light property once red, the light will never become immediately green is considered to be: safety, liveness, fairness, none of the above. The traffic light property once red, the light becomes green eventually is considered to be: safety, liveness, fairness, none of the above. The traffic light property once red, the light becomes green after being yellow for some time between being red and being green is considered to be: safety, liveness, fairness, none of the above. The traffic light property if the light is red infinitely often, it should be yellow infinitely often is considered to be: safety, liveness, fairness, none of the above. The following property the resource must not be simultaneously accessed by a writer and a reader. is considered to be: safety, liveness, fairness, none of the above. Are the following formulas logically equivalent: yes, no. Consider the following statement: a procedure executes unless it throws an exception .