Esta es la aplicación de Linux llamada GAVS + cuya última versión se puede descargar como GAVS + _dist_20160404.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 GAVS + 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.
CAPTURAS DE PANTALLA:
GAVS +
DESCRIPCIÓN:
GAVS + (Game Arena Visualization and Synthesis, Plus!) Es una herramienta de código abierto que permite visualizar un amplio espectro de juegos algorítmicos utilizados en verificación y síntesis, y ofrece una interfaz estándar con funciones de utilidad para establecer conexión con la práctica de la ingeniería. Está desarrollado por el Departamento de Informática (Unidad 6), TU München. La herramienta se sirve principalmente para fines educativos y de investigación. El software se publica bajo la Licencia Pública General GNU (v3).Se incluye un tutorial un poco desactualizado (en PDF) en el archivo zip.
Audiencia
Ciencia / Investigación, Educación, Ingeniería
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/gavsplus/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.