8 Nov
2021
8 Nov
'21
2:31 p.m.
Hi,
I was wondering if someone could point me to resources in spot that show
how to evaluate an LTL word or trace on an automaton.
Or anyway to check whether a trace or word satisfies a particular LTL
formula.
I'm new to Spot. So far I've been able to use the python notebook - word,
(and other examples) to iterate over an automaton generated from an LTL
formula.
Thank you so much,
--
Regards,
Fatma