Esta es la aplicación de Linux llamada LTL3DRA para ejecutarse en Linux en línea, cuya última versión se puede descargar como ltl3dra-0.2.6.tar.gz. 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 LTL3DRA para ejecutar en Linux en línea 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.
LTL3DRA para ejecutar en Linux en línea
Ad
DESCRIPCIÓN
EL PROYECTO SE HA MUDADO A GITHUB, SEGUIR https://github.com/xblahoud/ltl3draLTL3DRA es un traductor de un fragmento de fórmulas LTL a autómatas deterministas de Rabin. Se basa en la popular herramienta llamada LTL3BA escrita por Tomas Babiak (disponible en https://sourceforge.net/projects/ltl3ba/).
La traducción utilizada en LTL3DRA se describe en
T. Babiak, F. Blahoudek, M. Křetínský y J. Strejček: traducción eficaz de LTL a los autómatas deterministas de Rabin: más allá del fragmento (F, G) (2013)
En el XI Simposio Internacional sobre Tecnología Automatizada para Verificación y Análisis (ATVA 11)
Para compilar LTL3DRA, la biblioteca BuDDy (http://sourceforge.net/projects/buddy/) es necesario. Probado con Buddy 2.4.
El punto de referencia utilizado en el documento "Comparación de LTL con los traductores de autómatas deterministas de Rabin" publicado en LPAR19 se puede encontrar en Archivos / LPAR19-benchmarks (https://sourceforge.net/projects/ltl3dra/files/LPAR19-benchmarks/).
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/ltl3dra/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.
