IDE for the TLA+ tools.
Descripción del desarrollador (inglés)
¿Qué es tlaplus-toolbox?
tlaplus-toolbox es software de código abierto para Windows incluido en la categoría Ciencias y matemáticas. Además de Windows, existe para Linux.
Instalación y requisitos
El desarrollador ofrece instaladores Portable para Windows de Cualquier procesador. Funciona sin instalación (versión portable).
Ventajas / Inconvenientes
Ventajas
- Código abierto: cualquiera puede revisar y compilar el código
- Portable: funciona sin instalar
- También para Linux
En resumen: tlaplus-toolbox es un programa de código abierto de la categoría Ciencias y matemáticas, disponible para equipos de Cualquier procesador.
Funciones principales
- 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
¿Es seguro descargar tlaplus-toolbox?
- El archivo se sirve desde github.com; conviene comprobar que es una réplica oficial del desarrollador
- El enlace de descarga usa HTTPS
- No hay hash publicado para este archivo
- El enlace aún no se ha comprobado
- El código fuente es público
- ExeAtlas no aloja, envuelve ni modifica instaladores
Guía relacionada: Cómo comprobar el hash SHA256 de un archivo en Windows
Versiones recientes
Las 1 versiones ›| Versión | Fecha | Tamaño | Archivos |
|---|---|---|---|
| 1.8.0Última | — | Cualquier procesador ZIP |
Instalar desde la línea de comandos
Instalación silenciosa ›scoop install extras/tlaplus-toolboxArchivos de programa (.exe): tlc.exe, toolbox.exe
Guía relacionada: Cómo usar winget: instalar y actualizar programas
También para otros sistemas
flatpak install flathub org.lamport.tla.toolboxInformación
- Categoría
- Ciencias y matemáticas
- Licencia
- MIT
- Precio
- Gratis
- Clasificación por edades
- Todas las edades
- Requisitos
- Windows 11 / 10
- Arquitectura
- Cualquier procesador
- Instalador
- Portable
- Otras plataformas
- Linux
- Versión
- 1.8.0
- Versiones registradas
- 1
- Sitio web
- lamport.azurewebsites.net
- Paquete de Scoop
- extras/tlaplus-toolbox
Valoraciones y opiniones
Todavía no hay opiniones.
Alternativas a tlaplus-toolbox
Ver todo ›-
Código abierto118 mil ↓ -
Código abierto126,7 mil ↓ -
Código abierto46 mil ↓ -
Código abierto50,3 mil ↓ -
Código abierto12,2 mil ↓ -
Código abierto17,7 mil ↓ -
Código abierto24,6 mil ↓ - Código abierto28,6 mil ↓
Preguntas frecuentes
¿Es gratis tlaplus-toolbox?
Sí. tlaplus-toolbox es software de código abierto con licencia MIT.
¿Es seguro descargar tlaplus-toolbox?
La descarga procede de github.com. ExeAtlas no aloja ni modifica el archivo.
¿Funciona tlaplus-toolbox en ARM (Windows on Arm)?
El instalador no depende de la arquitectura.
¿Se puede usar tlaplus-toolbox sin permisos de administrador?
Sí, es portable: basta con descomprimirlo y ejecutarlo.
¿Qué alternativas hay a tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! y JASP. La página de alternativas los compara.
