Dear Alexandre:
I am trying to figure out whether SPOT can accept boolean
assertions such as "x >1".
For example, can SPOT recognize the LTL formula F (x > 1), which is
accepted by Promela format?
I tried it with SPOT by ./ltl2tgba -f "F (x>1)" and SPOT fails to parse it.
But I really want to make sure whether I have used it correctly.
Many thanks~
--
Best Regards
Jianwen Li
