Questo è il comando mcrl2-gui che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
mcrl2-gui - front-end grafico per strumenti mCRL2
SINOSSI
mcrl2-gui [OPZIONE] ...
DESCRIZIONE
Un front-end grafico per gli strumenti mCRL2.
VERSIONI
OPZIONE può essere uno dei seguenti:
--tempi[=RISORSE]
aggiungere le misurazioni dei tempi a FILE. Le misurazioni vengono scritte nell'errore standard se
non viene fornito alcun FILE
Opzioni standard:
-q, --silenzioso
non visualizzare messaggi di avviso
-v, --verboso
visualizzare brevi messaggi intermedi
-d, - debug
visualizzare messaggi intermedi dettagliati
--livello-log=LIVELLO
visualizzare messaggi intermedi fino al livello compreso
-h, --Aiuto
visualizzare le informazioni di aiuto
--versione
visualizzare le informazioni sulla versione
Usa mcrl2-gui online usando i servizi onworks.net