[Solved]8 Consider Model M Figure 341 Check Whether M M S2 Hold Ctl Formulas Afq B Ag Ef Pv R C Ex Q37221215

8. Consider the model M in Figure 3.41. Check whether M , so φ and M, s2 φ hold for the CTL formulas ф: (a) AFq (b) AG (EF (pV r)) (c) EX (EXr) (d) AG (AF q). S3 So p, q S1 p, t 82 Figure 3.41. Another model with four states Show transcribed image text 8. Consider the model M in Figure 3.41. Check whether M , so φ and M, s2 φ hold for the CTL formulas ф: (a) AFq (b) AG (EF (pV r)) (c) EX (EXr) (d) AG (AF q).
S3 So p, q S1 p, t 82 Figure 3.41. Another model with four states

Expert Answer

---

Answer to 8. Consider the model M in Figure 3.41. Check whether M , so φ and M, s2 φ hold for the CTL formulas ф: (a) AFq (b) A… . . .