TLA+ é uma linguagem de alto nível para modelagem de programas e sistemas. É útil para eliminar erros de projeto fundamentais, que são difíceis de encontrar e caros para corrigir no código. Neste tutorial, saiba como instalar o TLA+ Toolbox no Linux, usando pacotes Flatpak.
O TLA+ Toolbox é um IDE (ambiente de desenvolvimento integrado) para as ferramentas TLA+. Use-o para: cria e editar suas especificações, com os locais dos erros de análise marcados nos módulos; executar o tradutor PlusCal, com os locais dos erros de tradução marcados no código PlusCal; ver as versões bem impressas de seus módulos; executar o verificador de modelo TLC e muito mais! Siga o tutorial abaixo e instale-o agora mesmo no seu Linux.
Saiba instalar o TLA+ Toolbox no Ubuntu e derivados!
Para instalar o TLA+ Toolbox no Ubuntu, execute o comando abaixo. Vale lembrar que neste processo de instalação, vamos utilizar um pacotes flatpak.
Passo 1 – Instalar e ativar o suporte ao Flatpak no Ubuntu, Linux Mint e derivados:
sudo apt install flatpakPasso 2 – Agora, vamos adicionar o repositório Flathub, que é onde vamos baixar e instalar o TLA+ Toolbox para seguir com o processo de instalação no Ubuntu, Linux Mint ou derivados:
flatpak remote-add --if-not-exists flathub https://flathub.org/repo/flathub.flatpakrepoPasso 3 – Agora, precisamos reiniciar o sistema, em seguida, volte neste tutorial e prossiga com a instalação! Para reiniciar você pode utilizar o botão padrão do seu ambiente, ou execute o comando abaixo:
sudo rebootPasso 4 – Execute o comando de instalação do TLA+ Toolbox no Ubuntu, Linux Mint e derivados:
flatpak install flathub org.lamport.tla.toolboxPasso 5 – Comando para executar a aplicação:
flatpak run org.lamport.tla.toolboxSaiba instalar o TLA+ Toolbox no Fedora e derivados!
Para instalar o TLA+ Toolbox no Fedora, execute os comandos abaixo. Lembrando que o Fedora já vem com suporte ao Flatpak habilitado, então basta executar os comandos abaixo:
Passo 1 – Execute o comando de instalação do TLA+ Toolbox no Fedora:
flatpak install flathub org.lamport.tla.toolboxPasso 2 – Comando para executar a aplicação:
flatpak run org.lamport.tla.toolboxSaiba instalar o TLA+ Toolbox no Debian e derivados!
Para instalar o TLA+ Toolbox no Debian, execute os comandos abaixo:
Notícias Relacionadas
Passo 1 – Instalar o suporte ao Flatpak no Debian:
apt updateapt install flatpakPasso 2 – Vamos adicionar o repositório do Flathub:
flatpak remote-add --if-not-exists flathub https://flathub.org/repo/flathub.flatpakrepoPasso 3 – Reinicie o sistema, você pode fazer isso manualmente utilizando o botão do seu ambiente ou o comando abaixo:
rebootPasso 4 – E agora, vamos executar o comando para instalar o TLA+ Toolbox no Debian ou derivados. Observe que o comando abaixo está com o sudo, caso você não o tenha habilitado, remova o sudo e instalar usando o ROOT mesmo:
flatpak install flathub org.lamport.tla.toolboxPasso 5 – Comando para executar a aplicação:
flatpak run org.lamport.tla.toolboxSaiba instalar o TLA+ Toolbox no openSUSE e derivados!
Para instalar o TLA+ Toolbox no openSUSE, execute os comandos abaixo. Vamos utilizar um repositório:
Passo 1 – Instalar o Flatpak
sudo zypper install flatpakPasso 2 – Agora, vamos adicionar o repositório Flathub:
flatpak remote-add --if-not-exists flathub https://flathub.org/repo/flathub.flatpakrepoPasso 3 – Vamos reiniciar, faça isso usando o botão de reiniciar do seu ambiente ou o comando abaixo:
sudo rebootPasso 4 – Execute o comando de instalação do TLA+ Toolbox no OpenSUSE:
flatpak install flathub org.lamport.tla.toolboxPasso 5 – Comando para executar o TLA+ Toolbox
flatpak run org.lamport.tla.toolbox
É isso, esperamos ter ajudado você a instalar o TLA+ Toolbox no Linux!
