Esta es la aplicación de Linux llamada Alternating Timed Automata Solver cuya última versión se puede descargar como ataoproject_1.2.beta.zip. 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 Alternating Timed Automata Solver 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.
Solucionador de autómatas temporizado alternativo
DESCRIPCIÓN:
Nuestro objetivo es desarrollar un solucionador de trabajo completo para ATA (con 1 reloj) en Python, con soporte de MTL a ATA. La decidibilidad del problema del vacío fue propuesta por Lasota y Walukiewicz. El MTL a ATA fue propuesto por Ouaknine y Worrell.
Caracteristicas
- Solucionador de vacío de Autómatas temporizados alternos
- Traducción de MTL a ATA
- Operaciones comunes de ATA (Unión, Complementación, Intersección, Verificación de modelos)
Público
Tecnologías informáticas
Interfaz de usuario
Qt
Lenguaje de programación
Python
Entorno de base de datos
Basado en XML
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/atao/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.