ltl2ba

Fast translation from LTL formulas to Buchi automata

Install

All systems
curl cmd.cat/ltl2ba.sh
Fedora
dnf install ltl2ba
OS X
brew install ltl2ba

ltl2ba

Fast translation from LTL formulas to Buchi automata