Alternativas gratis a Spot
Hay 3 alternativas gratis o con plan gratuito a Spot (biblioteca y suite de herramientas en c++ para manipular fórmulas ltl, autómatas omega y realizar verificación de modelos). 2 son de código abierto. Las primeras son las más parecidas y populares.
| Programa | Coste | Licencia | Plataformas |
|---|---|---|---|
 FORM | Gratis | Código abierto | Mac, Linux |
 Golly | Gratis | Propietaria | Mac |
| Weave | Gratis | Código abierto | Mac, Linux, Android |
Sistema de manipulación simbólica para matemáticas y física teórica, orientado a expertos en cálculo algebraico
Coste
GratisLicencia
Código abiertoPlataformas
Mac, Linux
Aplicación de código abierto para explorar el Juego de la Vida de Conway y otros autómatas celulares en múltiples plataformas
Coste
GratisLicencia
PropietariaPlataformas
Mac
Controlador de fusión semántica para Git que resuelve conflictos de código analizando funciones y clases con tree-sitter
Coste
GratisLicencia
Código abiertoPlataformas
Mac, Linux, Android
¿Buscas otra cosa? Mira todas las alternativas a Spot.