هذا هو تطبيق Linux المسمى ProofOS والذي يمكن تنزيل أحدث إصدار له على أنه Proofos-all-0.1.tgz. يمكن تشغيله عبر الإنترنت في مزود الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى ProofOS with 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
الوصف
يهدف هذا المشروع إلى تطوير نظام نموذج أولي يستكشف كيف يجب علينا إعادة ابتكار تصميم نظام الكمبيوتر استنادًا إلى التغييرات في كيفية حصول الأشخاص على البرامج التي يشغلونها ، بالإضافة إلى التطورات في التحليل الثابت للبرامج.
الجمهور
المطورون ، تكنولوجيا المعلومات ، العلوم / البحث
لغة البرمجة
التجميع ، C ، OCaml (الجمل الموضوعية)
الفئات
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/proofos/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.
