Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.2k answers

1.6k comments

546 users

0 votes

I hope you are able to check my solution attached. 

I tried to satisfy S2. Considering the s2 satisfies a and s0s1 path satisfies FGb.

{a}<--{Init.} -->inf.{b}

Is my solution right?

 I tried to solve similar to Sept 2022 7d question.

in # Study-Organisation (Master) by (850 points)

1 Answer

0 votes

Do you mean this structure?

The path s0->s1^omega satisfies [a SU FGb], but it does not satisfy  [a SU Gb], which is no surprise since that path is the one given in the example solution. Why did you add the other state s2?

by (166k points)
I just wanted to understand conceptually that with state s2 still, S2 condition is satisfied?
Yes, it is. However, since the formulas are path formulas, you should also mention which path you consider to distinguish the two formulas, and there you would have to consider the path of the example solution.
Got it. Thank you so much.

Related questions

0 votes
1 answer
0 votes
1 answer
asked Aug 26, 2023 in * TF "Emb. Sys. and Rob." by calvet (250 points)
0 votes
1 answer
0 votes
1 answer
Imprint | Privacy Policy
...