6 Consider System M Figure 340 Beginning State Unwind System Infinite Tree Draw Computatio Q37026806

6. Consider the system M in Figure 3.40. (a) Beginning from state so, unwind this system into an infinite tree, and draw all computation paths up to length 4 (the first four layers of that tree) (b) Determine whether M, s φ and M,82 ф hold and justify your answer, where φ is the LTL or CTL

OR

 

OR