นี่คือคำสั่ง mcrl2-gui ที่สามารถเรียกใช้ในผู้ให้บริการโฮสต์ฟรีของ OnWorks โดยใช้หนึ่งในเวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
mcrl2-gui - ส่วนหน้าแบบกราฟิกสำหรับเครื่องมือ mCRL2
เรื่องย่อ
mcrl2-gui [ทางเลือกที่] ...
DESCRIPTION
ส่วนหน้าแบบกราฟิกสำหรับเครื่องมือ mCRL2
OPTIONS
ทางเลือกที่ สามารถเป็นอย่างใดอย่างหนึ่งต่อไปนี้:
--กำหนดเวลา[=ไฟล์]
ผนวกการวัดเวลาเข้ากับ FILE การวัดจะถูกเขียนไปยังข้อผิดพลาดมาตรฐาน if
ไม่มีไฟล์ให้
ตัวเลือกมาตรฐาน:
-q, --เงียบ
ไม่แสดงข้อความเตือน
-v, --รายละเอียด
แสดงข้อความกลางสั้นๆ
-d, --debug
แสดงข้อความระดับกลางโดยละเอียด
--log-ระดับ=ระดับ
แสดงข้อความระดับกลางถึงและรวมถึงระดับ
-h, --ช่วยด้วย
แสดงข้อมูลช่วยเหลือ
--รุ่น
แสดงข้อมูลรุ่น
ใช้ mcrl2-gui ออนไลน์โดยใช้บริการ onworks.net