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