IDE for the TLA+ tools.
Descrição do desenvolvedor (inglês)
O que é tlaplus-toolbox?
tlaplus-toolbox é um software de código aberto para Windows que aparece na categoria Ciências e matemática. Além do Windows, tem versão para Linux.
Instalação e requisitos
O desenvolvedor disponibiliza instaladores Portátil para Windows Qualquer processador. Roda sem instalação (versão portátil).
Pontos positivos / Pontos negativos
Pontos positivos
- Código aberto: qualquer pessoa pode revisar e compilar o código
- Portátil: roda sem instalar
- Também roda em Linux
Em resumo: tlaplus-toolbox é um programa de código aberto da categoria Ciências e matemática, disponível para PCs Qualquer processador.
Principais recursos
- Create and edit your specs, with the locations of parsing errors marked in the modules
- Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code
- View the pretty-printed versions of your modules
- Run the TLC model checker. The Toolbox allows you to explorer an error trace produced by TLC—for example, by evaluating arbitrary formulas at each step in the trace
- Run the TLA+ proof system
AppStream · Flathub
É seguro baixar tlaplus-toolbox?
- O arquivo vem de github.com; confira se é um espelho oficial do desenvolvedor
- O link de download usa HTTPS
- Nenhum hash publicado para este arquivo
- O link ainda não foi verificado
- O código-fonte é público
- O ExeAtlas não hospeda, encapsula nem modifica instaladores
Guia relacionado: Como verificar o hash SHA256 de um arquivo no Windows
Versões recentes
Todas as 1 versões ›| Versão | Data | Tamanho | Arquivos |
|---|---|---|---|
| 1.8.0Atual | — | Qualquer processador ZIP |
Instalar pela linha de comando
Instalação silenciosa ›scoop install extras/tlaplus-toolboxArquivos de programa (.exe): tlc.exe, toolbox.exe
Guia relacionado: Como usar o winget: instalar e atualizar programas
Também para outros sistemas
flatpak install flathub org.lamport.tla.toolboxInformações
- Categoria
- Ciências e matemática
- Licença
- MIT
- Preço
- Grátis
- Classificação indicativa
- Livre
- Requisitos
- Windows 11 / 10
- Arquitetura
- Qualquer processador
- Instalador
- Portátil
- Outras plataformas
- Linux
- Versão
- 1.8.0
- Versões registradas
- 1
- Site oficial
- lamport.azurewebsites.net
- Pacote do Scoop
- extras/tlaplus-toolbox
Avaliações
Ainda não há avaliações. Seja o primeiro a dar uma nota.
Alternativas para tlaplus-toolbox
Ver tudo ›-
Código aberto118 mil ↓ -
Código aberto126,7 mil ↓ -
Código aberto46 mil ↓ -
Código aberto50,3 mil ↓ -
Código aberto12,2 mil ↓ -
Código aberto17,7 mil ↓ -
Código aberto24,6 mil ↓ - Código aberto28,6 mil ↓
Perguntas frequentes
tlaplus-toolbox é grátis?
Sim. tlaplus-toolbox é um software de código aberto com licença MIT.
É seguro baixar tlaplus-toolbox?
O download vem de github.com. O ExeAtlas não hospeda nem altera o arquivo.
tlaplus-toolbox roda em ARM (Windows on Arm)?
O instalador é independente de arquitetura.
Dá para usar tlaplus-toolbox sem permissão de administrador?
Sim, é portátil: basta extrair e executar.
Quais são as alternativas para tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! e JASP. A página de alternativas faz a comparação.
