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

1.1k questions

1.3k answers

1.7k comments

556 users

0 votes

If there are more than 1 initial states in given structure, does all the initial states should be present in the final set to prove the model holds or not, or even if one initial state is present it will satisfy the property?

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

1 Answer

0 votes
By definition, a structure K satisfies a property phi, if and only if ALL initial states of K satisfy the property phi. Hence, all initial states must be found in the set of states of K satisfying phi.
by (170k points)

Related questions

Imprint | Privacy Policy
...