[Solved]6 Consider System M Figure 340 Beginning State Unwind System Infinite Tree Draw Computatio Q37221122

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, so and M , saf ф hold and justify your answer. where φ is the LTL or CTL formula: (ii) Ft *(ii) EG r (iv) E (t U q) (v) Fq (vi) EF q (vii) EG r (vii) G(r Vq) So 1 (p, t,r P,qS3 S2 Figure 3.40. A nodel with four states Show transcribed image text 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, so and M , saf ф hold and justify your answer. where φ is the LTL or CTL formula: (ii) Ft *(ii) EG r (iv) E (t U q) (v) Fq (vi) EF q (vii) EG r (vii) G(r Vq) So 1 (p, t,r P,qS3 S2 Figure 3.40. A nodel with four states

Expert Answer

---

Answer to 6. Consider the system M in Figure 3.40 (a) Beginning from state so, unwind this system into an infinite tree, and draw … . . .