TLA+ Toolbox
IDE para macOS voltada às ferramentas TLA+, com edição de especificações, tradução de PlusCal, verificação de modelos TLC, exploração de rastros e provas.
Descrição
TLA+ Toolbox é um ambiente de desenvolvimento integrado para trabalhar com as ferramentas TLA+. Ele permite criar e editar especificações, localizar erros de análise nos módulos de origem e executar a tradução de PlusCal, com os erros de tradução indicados no código.
Principais recursos:
- Visualizar versões formatadas dos módulos.
- Executar o verificador de modelos TLC e explorar seus rastros de erro, inclusive avaliando fórmulas em cada etapa do rastro.
- Executar o sistema de provas TLA+.
Instale com brew install --cask tla+-toolbox. O cask instala o aplicativo TLA+ Toolbox.app em /Applications. O download para macOS fornecido é uma compilação x86_64 e o cask requer Rosetta. Para começar, consulte a tela de boas-vindas e as páginas de ajuda do Toolbox.
pdflatex só é necessário se você quiser usar o comando de saída em PDF do Toolbox para módulos formatados; ele é fornecido por uma instalação do LaTeX. Toolbox é um IDE para as ferramentas TLA+, não um editor de uso geral.
Fontes: TLA+ Toolbox · Cask do Homebrew
Novidades Novidades da versão 1.7.4 5 de ago. de 2024 · Editoria OpenNavo · Tradução por IA
- TLCCorrige violações de propriedades não relatadas na verificação multiworker.