هذا هو تطبيق Linux المسمى MonPoly والذي يمكن تنزيل أحدث إصدار له كـ monpoly-1.1.10.tgz. يمكن تشغيله عبر الإنترنت في مزود الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى MonPoly مع OnWorks عبر الإنترنت مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 1. قم بتنزيل هذا التطبيق على جهاز الكمبيوتر الخاص بك.
- 2. أدخل في مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX باسم المستخدم الذي تريده.
- 3. تحميل هذا التطبيق في هذا الملف.
- 4. ابدأ تشغيل OnWorks Linux عبر الإنترنت أو محاكي Windows عبر الإنترنت أو محاكي MACOS عبر الإنترنت من هذا الموقع.
- 5. من نظام تشغيل OnWorks Linux الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.
- 6. قم بتنزيل التطبيق وتثبيته وتشغيله.
مونبولي
Ad
الوصف
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 (الجمل الموضوعي)
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/monpoly/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.
