Este es el comando ltsview que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
LTSView: visualización interactiva en 3D de un sistema de transición etiquetado
SINOPSIS
LTSVer [OPCIÓN] ... [EN ARCHIVO]
DESCRIPCIÓN
Inicie la aplicación LTSView. Si se proporciona INFILE, entonces el LTS en INFILE se carga en
la aplicación.
El formato de entrada está determinado por el contenido de INFILE. Si eso falla, se intenta
hecho para forzar el formato de entrada según la extensión del archivo. Los formatos compatibles con
las extensiones de archivo son:
Formato Aldebarán (CADP; * .aut);
Formato GraphViz (* .dot);
Formato de máquina de estado finito (* .fsm);
formato mCRL SVC (* .svc);
Formato mCRL2 (* .lts).
OPCIONES
OPCIÓN puede ser cualquiera de los siguientes:
--tiempo[=ARCHIVO]
anexar medidas de tiempo a ARCHIVO. Las medidas se escriben con error estándar si
no se proporciona ningún ARCHIVO
Opciones estándar:
-q, --tranquilo
no mostrar mensajes de advertencia
-v, --verboso
mostrar mensajes intermedios breves
-d, --depurar
mostrar mensajes intermedios detallados
--nivel de registro=NIVEL
mostrar mensajes intermedios hasta el nivel inclusive
-h, --ayuda
mostrar información de ayuda
--versión
mostrar información de la versión
Utilice ltsview en línea utilizando los servicios de onworks.net
