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

682 questions

797 answers

1.1k comments

411 users

Hi,

My Solution Satisfy S2 but not S1, Is my solution correct?

I am afraid that your solution is not correct. We can quickly rewrite your formulas to equivalent CTL formulas:

Then the model checker computes: