यह कमांड mcrl2-gui है जिसे हमारे कई मुफ्त ऑनलाइन वर्कस्टेशन जैसे उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर में से एक का उपयोग करके ऑनवर्क्स फ्री होस्टिंग प्रदाता में चलाया जा सकता है।
कार्यक्रम:
नाम
mcrl2-gui - mCRL2 टूल के लिए ग्राफिकल फ्रंट-एंड
SYNOPSIS
एमसीआरएल2-गुई [विकल्प] ...
वर्णन
mCRL2 टूल्स के लिए ग्राफिकल फ्रंट-एंड।
विकल्प
विकल्प निम्नलिखित में से कोई भी हो सकता है:
--समय[=फ़ाइल]
FILE में समय मापन जोड़ें। माप मानक त्रुटि के लिए लिखे जाते हैं यदि
कोई फ़ाइल प्रदान नहीं की गई है
मानक विकल्प:
-q, --शांत
चेतावनी संदेश प्रदर्शित न करें
-v, --शब्दशः
लघु मध्यवर्ती संदेश प्रदर्शित करें
-d, - दाढ़
विस्तृत मध्यवर्ती संदेश प्रदर्शित करें
--छांटने का स्तर=LEVEL
स्तर तक और सहित मध्यवर्ती संदेश प्रदर्शित करें
-h, --मदद
सहायता जानकारी प्रदर्शित करें
--संस्करण
संस्करण जानकारी प्रदर्शित करें
onworks.net सेवाओं का उपयोग करके mcrl2-gui का ऑनलाइन उपयोग करें