ltl2tgba.x 121 Bytes
Newer Older
1
2
3
4
[NAME]
ltl2tgba \- translate LTL/PSL formulas into Büchi automata
[DESCRIPTION]
.\" Add any additional description here