Este é o comando mcrl2xi que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas múltiplas estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online de Windows ou emulador online de MAC OS.
PROGRAMA:
NOME
mCRL2xi - editor gráfico de especificação de dados mCRL2
SINOPSE
mCRL2xi [OPÇÃO] ... [NO ARQUIVO]
DESCRIÇÃO
Um editor gráfico de especificação de dados mCRL2.
OPÇÕES
OPÇÃO pode ser qualquer um dos seguintes:
-QNUM, --qlimit=NUM
limite a enumeração de quantificadores a variáveis NUM. (Padrão NUM = 1000, NUM = 0 para
ilimitado).
-rNOME, --reescritor=NOME
usar estratégia de reescrita NOME: 'jitty' jitty reescrita (padrão) 'jittyc' compilado
jitty reescrevendo 'jittyp' jitty reescrevendo com provador
--tempos[=ARQUIVO]
anexar medições de tempo a ARQUIVO. As medições são gravadas no erro padrão se
nenhum FILE é fornecido
Opções padrão:
-q, --quieto
não exibir mensagens de aviso
-v, --verbose
exibir mensagens intermediárias curtas
-d, --depurar
exibir mensagens intermediárias detalhadas
--log-level=NÍVEL
exibir mensagens intermediárias até e incluindo o nível
-h, --Socorro
exibir informações de ajuda
--versão
exibir informações da versão
Use mcrl2xi online usando serviços onworks.net