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,

--