Alternativas a TLA+ Toolbox para Web
Hay 3 alternativas para Web a TLA+ Toolbox (entorno de desarrollo integrado para especificaciones tla+, que permite editar, verificar y probar sistemas formales). 1 es de código abierto. Las primeras son las más parecidas y populares.
| Programa | Coste | Licencia | Plataformas |
|---|---|---|---|
| CodeSandbox | Freemium | Propietaria | Web |
 Codeanywhere | Suscripción | Propietaria | Web |
 Eclipse Che | Gratis | Código abierto | Web |
Plataforma de desarrollo en la nube para ejecutar, colaborar y desplegar proyectos de código desde cualquier dispositivo
Coste
FreemiumLicencia
PropietariaPlataformas
Web
Entorno de desarrollo integrado en la nube que permite codificar y gestionar proyectos desde el navegador sin instalar software local
Coste
SuscripciónLicencia
PropietariaPlataformas
Web
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.