LTL Trace Explorer :
Parameters :
of
CFG
Result:
Vars
CFG
Status