Como instalar a IDE TLA+ Toolbox no Linux via Flatpak

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.

É 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 transmitir vídeos para o Chromecast via terminal usando o Stream2Chromecast
• Como instalar o cliente Spotify Spot no Linux via Flatpak
• Musikcube no Linux – Conheça esse player baseado no terminal
• Como instalar o baixador Parabolic no Linux via Flatpak

O que está sendo falado no blog