Hello,

My name is Phillip and I tried to use Spot tool to "play" with LTL formulas.

My question is, is it possible to get boolean result if LTL formula accepts or rejects a word?
e.g. In case the LTL formula is "aUb" is it possible to check that the formula is accepting "cycle(b)"?

Best regards,

Phillip