Course Title: Formal Methods in S.E.

ITS A REQUEST , IT IS MY LAST ASSIGNMENT . PLEASE ANSWER ALL PARTS AND ANSWER THEM STEP BY STEP

NOTE: DO NOT, I REPEAT, DO NOT COPY IT FROM OTHER CHEGG ANSWER AND/OR FROM INTERNET. IN CASE YOU DO IT, I WILL NOT UPVOTE , I WILL DE-VOTE THE ANSWER.

Q#1: Consider the set AP of atomic propositions defined by AP = { x = 0, x>1} and consider a nonterminating sequential computer program P that manipulates the variable x. Formulate the following informally stated properties as LT properties:: a) initially x is equal to zero b) initially x differs from zero c) initially x is equal to zero, but at some point x exceeds one d) x exceeds one only finitely many times e) the value of x alternates between zero and two (2) (2) (2 (2) (2)