lbt
converts from LTL formulas to Büchi automata
Install
- All systems
-
curl cmd.cat/lbt.sh
- Debian
-
apt-get install lbt - Ubuntu
-
apt-get install lbt - Kali Linux
-
apt-get install lbt - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install lbt - Raspbian
-
apt-get install lbt - Dockerfile
- dockerfile.run/lbt
lbt
converts from LTL formulas to Büchi automata
This software converts a linear temporal logic (ltl) formula to a generalised Büchi automaton. The resulting automaton may be used, for instance, in model checking, where it represents a property to be verified from a model (e.g. a Petri net).