Install lbt by entering the following commands in the terminal:
sudo apt update sudo apt install lbt
Description:
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).
Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/
Version: 1.2.2-6
Section: universe/math