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

531 users

0 votes



The final answer for this is {s0...s6}
should we consider S0 for solving the given equation ? As it is an unreachable state I thought we should not consider it.

in * TF "Emb. Sys. and Rob." by (380 points)

1 Answer

0 votes
Good question. However, as the exam problem is asking which states satisfy the property, we have to consider all the state of the structure even though s0 is not reachable. Note also that model checking might be used to check whether a state is reachable, and then we definitely have to evaluate the formula for reachable states in all the states.
by (166k points)

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
0 votes
2 answers
Imprint | Privacy Policy
...