Do not speak Portuguese?? Translate this site with Google or Bing Translator

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.

Como instalar a IDE TLA+ Toolbox no Linux via Flatpak
Como instalar a IDE TLA+ Toolbox no Linux via Flatpak

É 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

O que está sendo falado no blog

Veja mais artigos publicados neste dia…

Compartilhe:
Sobre o Edivaldo Brito

Edivaldo Brito é analista de sistemas, gestor de TI, blogueiro e também um grande fã de sistemas operacionais, banco de dados, software livre, redes, programação, dispositivos móveis e tudo mais que envolve tecnologia.

Deixe um comentário

Esse site utiliza o Akismet para reduzir spam. Aprenda como seus dados de comentários são processados.