Linear temporal logic to Büchi automaton: Difference between revisions

Revision as of 13:53, 3 December 2016

Revision as of 00:21, 20 December 2016

Line 250:

*[http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ LTL2BA] - Fast LTL to BA translator via alternating automata. Online translator available.

*[http://sourceforge.net/projects/ltl3ba/ LTL3BA] - An up-to-date improvement of LTL2BA.

<pre>

typedefs

LTL: LTL formulas

Line 296 ⟶ 298:

28: return

}

</pre>

==References==