Alternativas a TLA+ Toolbox para Linux
Hay 3 alternativas para Linux 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 |
|---|---|---|---|
 RustRover | Freemium | Propietaria | Linux, Windows, Mac |
 Light Table | Gratis | Código abierto | Windows, Mac, Linux |
 CLion | Suscripción | Propietaria | Mac, Windows, Linux |
IDE comercial de JetBrains para desarrollo Rust con depuración, análisis en tiempo real e integración con Cargo
Coste
FreemiumLicencia
PropietariaPlataformas
Linux, Windows, Mac
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 de JetBrains para programar, depurar y gestionar proyectos en C y C++ de forma profesional
Coste
SuscripciónLicencia
PropietariaPlataformas
Mac, Windows, Linux
¿Buscas otra cosa? Mira todas las alternativas a TLA+ Toolbox.