Se você quer programa usando TLA+ no sistema do pinguim, conheça e veja como instalar a IDE TLA+ Toolbox no Linux via Flatpak.
appO TLA+ é uma linguagem de alto nível para modelagem de programas e sistemas.
![Como instalar a IDE TLA+ Toolbox no Linux via Flatpak](https://www.edivaldobrito.com.br/wp-content/uploads/2020/05/como-instalar-a-ide-tla-toolbox-no-linux-via-flatpak.jpg)
É baseado na ideia de que a melhor maneira de descrever as coisas com precisão é com a matemática simples. O TLA+ e suas ferramentas são úteis para eliminar erros fundamentais de design, difíceis de encontrar e caros de corrigir no código.
Já a TLA Toolbox é uma IDE (ambiente de desenvolvimento integrado) para as ferramentas TLA+. Use-o para:
- Crie e edite suas especificações, com os locais dos erros de análise marcados nos módulos;
- Execute o tradutor PlusCal, com os locais dos erros de tradução marcados no código PlusCal;
- Veja as versões bonitas dos seus módulos;
- Execute o verificador de modelo TLC. A Caixa de ferramentas permite explorar um rastreamento de erro produzido pelo TLC – por exemplo, avaliando fórmulas arbitrárias em cada etapa do rastreamento;
- Execute o sistema de prova TLA+.
Como instalar a IDE TLA+ Toolbox no Linux via Flatpak
Para instalar a IDE TLA+ Toolbox via Flatpak você precisa ter o suporte a essa tecnologia instalado em seu sistema. Se não tiver, use o tutorial abaixo para instalar:
Como instalar o suporte a Flatpak no Linux
Depois, você pode instalar a IDE TLA+ Toolbox via Flatpak, fazendo o seguinte:
Passo 1. Abra um terminal;
Passo 2. Use o comando abaixo para instalar o programa via Flatpak. Tenha paciência, pois muitas vezes pode demorar vários minutos para que o Flatpak faça o download de tudo o que precisa;
flatpak install --user https://flathub.org/repo/appstream/org.lamport.tla.toolbox.flatpakref
Passo 3. Para atualizar o programa, quando uma nova versão estiver disponível, execute o comando:
flatpak --user update org.lamport.tla.toolbox
Pronto! Agora, quando quiser iniciar o programa, digite flatpak run org.lamport.tla.toolbox
em um terminal.
Você também pode tentar iniciar o programa no menu Aplicativos/Dash/Atividades ou qualquer outro lançador de aplicativos da sua distro, ou digite tla
ou em um terminal, seguido da tecla TAB.
Como desinstalar a IDE TLA+ Toolbox no Linux via Flatpak
Para desinstalar a IDE TLA+ Toolbox via Flatpak, fazendo o seguinte:
Passo 1. Abra um terminal;
Passo 2. Desinstale o programa, usando o seguinte comando no terminal:
flatpak --user uninstall org.lamport.tla.toolbox
Ou
flatpak uninstall org.lamport.tla.toolbox
- Como instalar o media player Movian no Linux via Snap
- Como instalar o poderoso servidor de mídia Red5 no Linux
- Como instalar o decodificador de AV1 dav1d no Linux via Snap
- Como instalar o reprodutor VLC no Linux via AppImage