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
Fast translation from LTL formulas to Buchi automata
curl cmd.cat/ltl2ba.shdnf install ltl2ba
brew install ltl2ba