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
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?