Alternativas de código abierto a TLA+ Toolbox
Hay 3 alternativas de código abierto a TLA+ Toolbox (entorno de desarrollo integrado para especificaciones tla+, que permite editar, verificar y probar sistemas formales). Las primeras son las más parecidas y populares.
| Programa | Coste | Licencia | Plataformas |
|---|---|---|---|
 Light Table | Gratis | Código abierto | Windows, Mac, Linux |
 TeXnicCenter | Gratis | Código abierto | Windows |
 Eclipse Che | Gratis | Código abierto | Web |
Editor de código e IDE de nueva generación que ofrece retroalimentación instantánea y visualización de datos en tiempo real
Coste
GratisLicencia
Código abiertoPlataformas
Windows, Mac, Linux
Entorno de desarrollo integrado gratuito y de código abierto para crear documentos LaTeX en Windows
Coste
GratisLicencia
Código abiertoPlataformas
Windows
Plataforma de desarrollo en la nube que permite ejecutar IDEs favoritos en Kubernetes desde el navegador
Coste
GratisLicencia
Código abiertoPlataformas
Web
¿Buscas otra cosa? Mira todas las alternativas a TLA+ Toolbox.