Conversion between CTL and LTL does not work. Make a simple LTL formula like F true and then change it to CTL (in dropdown menu). The formula still says F but this is not a valid CTL formula (this one has to have EF or AF - I would suggest by default to convert all operators to universal ones A - also for Until and neXt and G).
Conversion between CTL and LTL does not work. Make a simple LTL formula like F true and then change it to CTL (in dropdown menu). The formula still says F but this is not a valid CTL formula (this one has to have EF or AF - I would suggest by default to convert all operators to universal ones A - also for Until and neXt and G).