In the workbench, LTL formulas support a single operation,ย convert to FSA, which converts the formula to a non-deterministic finite state automaton that accepts the same language.
In the workbench, LTL formulas support a single operation,ย convert to FSA, which converts the formula to a non-deterministic finite state automaton that accepts the same language.