ltl2ba - Man Page

manual page for ltl2ba 1.3

Description

usage: ltl2ba [-flag] -f 'formula'

or -F file

-f 'formula'

translate LTL into never claim

-F file

like -f, but with the LTL formula stored in a 1-line file

-d

display automata (D)escription at each step

-s

computing time and automata sizes (S)tatistics

-l

disable (L)ogic formula simplification

-p

disable a-(P)osteriori simplification

-o

disable (O)n-the-fly simplification

-c

disable strongly (C)onnected components simplification

-a

disable trick in (A)ccepting conditions

Info

January 2021 ltl2ba 1.3