Descrição
Fórmulas de lógica temporal e autômatos ômega podem ser manipulados, traduzidos e verificados em fluxos C++ ou de linha de comando. O pacote compila as bibliotecas Spot, suporte Python e ferramentas como `ltl2tgba` para pesquisa de model checking e pipelines de verificação. Ele é voltado a desenvolvedores e pesquisadores que entendem entradas de métodos formais.