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

974 questions

1.1k answers

1.5k comments

472 users

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.

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?