זוהי אפליקציית לינוקס בשם ProofOS שניתן להוריד את המהדורה האחרונה שלה בתור proofos-all-0.1.tgz. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם ProofOS עם 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. הורד את האפליקציה, התקן אותה והפעל אותה.
ProofOS
Ad
תיאור
פרויקט זה נועד לפתח מערכת אב טיפוס הבוחנת כיצד עלינו לתכנן מחדש את תכנון מערכת המחשב בהתבסס על שינויים באופן שבו אנשים מקבלים את התוכנה שהם מריצים, כמו גם התקדמות בניתוח סטטי של תוכנה.
קהל
מפתחים, טכנולוגיית מידע, מדע/מחקר
שפת תכנות
Assembly, C, OCaml (מטרה Caml)
כל הקטגוריות
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/proofos/. הוא התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.
