Це команда mcrl2-gui, яку можна запустити в постачальнику безкоштовного хостингу OnWorks за допомогою однієї з наших численних безкоштовних робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн емулятор Windows або онлайн емулятор MAC OS
ПРОГРАМА:
ІМ'Я
mcrl2-gui - графічний інтерфейс для інструментів mCRL2
СИНТАКСИС
mcrl2-gui [ВАРІАНТ]...
ОПИС
Графічний інтерфейс для інструментів mCRL2.
ВАРІАНТИ
ВАРІАНТ може бути будь-яке з наступного:
-- терміни[=Фото]
додати вимірювання часу до FILE. Вимірювання записуються до стандартної похибки, якщо
FILE не надається
Стандартні опції:
-q, --спокійно
не відображати попереджувальні повідомлення
-v, -багатослівний
відображати короткі проміжні повідомлення
-d, --відлагоджувати
відображати детальні проміжні повідомлення
-- рівень журналу=РІВЕНЬ
відображати проміжні повідомлення до рівня включно
-h, --допомога
відобразити довідкову інформацію
-- версія
відобразити інформацію про версію
Використовуйте mcrl2-gui онлайн за допомогою служб onworks.net