Esta es la aplicación de Linux llamada tlaplus cuya última versión se puede descargar como tla2tools.jar. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada tlaplus con OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
SCREENSHOTS
Ad
tlaplus
DESCRIPCIÓN
TLC es un verificador de modelo de estado explícito para especificaciones escritas en TLA+. TLA+Toolbox es un IDE para TLA+. TLA+ es un lenguaje de alto nivel para modelar programas y sistemas, especialmente los concurrentes y distribuidos. Se basa en la idea de que la mejor manera de describir las cosas con precisión es mediante matemáticas simples. TLA+ y sus herramientas son útiles para eliminar errores de diseño fundamentales, que son difíciles de encontrar y costosos de corregir en el código.
Caracteristicas
- Acerca de TLC es un verificador de modelo de estado explícito
- Para especificaciones escritas en TLA+
- TLA+Toolbox es un IDE para TLA+
- TLA+ es un lenguaje de alto nivel para modelar programas y sistemas.
- TLA+ y sus herramientas son útiles para eliminar errores fundamentales de diseño
Lenguaje de programación
Java
Categorías
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/tlaplus.mirror/. Ha sido alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.
