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
- Dockerfile
- dockerfile.run/ltl2ba