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

529 users

0 votes

Is there a way to check my solution using the tool for CTL*? 

The LTL tool where I can check S1->(my solution) is giving parse error for CTL* formula

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

1 Answer

+1 vote
Well, CTL* is not LTL, so that the LTL tool cannot handle CTL* formulas. However, for structures that have no branching, i.e., where every state has only one successor state, the CTL* and LTL formulas coincide. For the above, that is however not the case. So, there is no tool support for that kind of question as of now. It is also not planned at the moment.
by (166k points)
Alright! Thank you.

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
asked Aug 24, 2022 in * TF "Emb. Sys. and Rob." by CS_E (2.9k points)
Imprint | Privacy Policy
...