นี่คือแอพลินุกซ์ชื่อ MonPoly ซึ่งสามารถดาวน์โหลดรีลีสล่าสุดเป็น monpoly-1.1.10.tgz สามารถเรียกใช้ออนไลน์ใน OnWorks ผู้ให้บริการโฮสต์ฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและเรียกใช้แอปนี้ออนไลน์ชื่อ MonPoly พร้อม OnWorks ฟรี
ทำตามคำแนะนำเหล่านี้เพื่อเรียกใช้แอปนี้:
- 1. ดาวน์โหลดแอปพลิเคชั่นนี้ในพีซีของคุณ
- 2. เข้าไปที่ file manager https://www.onworks.net/myfiles.php?username=XXXXX ด้วยชื่อผู้ใช้ที่คุณต้องการ
- 3. อัปโหลดแอปพลิเคชันนี้ในตัวจัดการไฟล์ดังกล่าว
- 4. เริ่มโปรแกรมจำลองออนไลน์ของ OnWorks Linux หรือ Windows ออนไลน์ หรือโปรแกรมจำลองออนไลน์ MACOS จากเว็บไซต์นี้
- 5. จาก OnWorks Linux OS คุณเพิ่งเริ่มต้น ไปที่ตัวจัดการไฟล์ของเรา https://www.onworks.net/myfiles.php?username=XXXXX พร้อมชื่อผู้ใช้ที่คุณต้องการ
- 6. ดาวน์โหลดแอปพลิเคชั่น ติดตั้ง และเรียกใช้
มอนโพลี
Ad
DESCRIPTION
MonPoly เป็นเครื่องมือตรวจสอบต้นแบบที่ตรวจสอบความสอดคล้องของล็อกไฟล์ตามนโยบายที่ระบุโดยสูตรใน MFOTL (Metric First-Order Temporal Logic)
ภาพรวมของเครื่องมือ รวมถึงการใช้งานและประวัติ สามารถดูได้ที่แท็บไฟล์: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download.
เครื่องมือนี้ได้รับการพัฒนาโดยเป็นส่วนหนึ่งของโครงการวิชาการที่ ETH Zurich กรุณาเยี่ยมชมลิงค์ต่อไปนี้สำหรับรายละเอียดเพิ่มเติมเกี่ยวกับโครงการ: http://www.infsec.ethz.ch/research/projects/mon_enf.
พื้นที่เก็บข้อมูลการพัฒนาได้ย้ายไปที่ https://bitbucket.org/monpoly/monpoly.
ผู้ชม
ผู้ตรวจสอบ ผู้ทดสอบ
ส่วนติดต่อผู้ใช้
บรรทัดคำสั่ง
ภาษาโปรแกรม
OCaml (Caml วัตถุประสงค์)
นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจาก https://sourceforge.net/projects/monpoly/ มีการโฮสต์ใน OnWorks เพื่อให้ทำงานออนไลน์ในวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา