Ito ang command na mcrl2-gui na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
mcrl2-gui - graphical na front-end para sa mCRL2 tool
SINOPSIS
mcrl2-gui [OPTION] ...
DESCRIPTION
Isang graphical na front-end para sa mCRL2 tool.
Opsyon
OPTION maaaring alinman sa mga sumusunod:
--mga oras[=FILE]
magdagdag ng mga sukat ng timing sa FILE. Ang mga sukat ay isinusulat sa karaniwang error kung
walang FILE na ibinigay
Mga karaniwang opsyon:
-q, --tahimik
huwag magpakita ng mga mensahe ng babala
-v, --verbose
magpakita ng mga maikling intermediate na mensahe
-d, --debug
magpakita ng mga detalyadong intermediate na mensahe
--log-level=ANTAS
magpakita ng mga intermediate na mensahe hanggang sa at kabilang ang antas
-h, - Tumulong
ipakita ang impormasyon ng tulong
--bersyon
ipakita ang impormasyon ng bersyon
Gumamit ng mcrl2-gui online gamit ang mga serbisyo ng onworks.net
