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