Este es el comando pbesinfo 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
pbesinfo: muestra información básica sobre un PBES
SINOPSIS
pbesinfo [OPCIÓN] ... [EN ARCHIVO]
DESCRIPCIÓN
Imprime información básica sobre los PBES en INFILE. Si INFILE no está presente, entrada estándar
se utiliza.
OPCIONES
OPCIÓN puede ser cualquiera de los siguientes:
-f, --lleno
mostrar las variables de predicado y su firma
-iFORMATO, --en=FORMATO
use el formato de entrada FORMAT: 'pbes' PBES en formato interno 'pbes_text' PBES en
formato textual interno 'texto' PBES en formato textual (mCRL2) formato 'bes' BES en interno
formato 'bes_text' BES en formato textual interno 'cwi' BES en formato CWI 'pgsolver'
BES en formato PGSolver
--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 pbesinfo en línea utilizando los servicios de onworks.net
