זוהי אפליקציית לינוקס בשם Concurrency Workbench NC, שאת הגרסה האחרונה שלה ניתן להוריד כקובץ cwb-nc.zip. ניתן להריץ אותה באופן מקוון בספק האירוח החינמי OnWorks לתחנות עבודה.
הורד והפעל באופן מקוון את האפליקציה הזו בשם Concurrency Workbench NC עם 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
תיאור
כלי העבודה של המאה החדשה (CWB-NC) מספק תמיכה באימות אוטומטי של מערכות תוכנה מקבילות. הכלי מאפשר למשתמש לכתוב תיאור של המערכת הקיימת באחת מכמה שפות עיצוב (CCS, CSP, LOTOS, PCCS, SCCS, TCCS). בנוסף, הוא תומך במגוון טכניקות אימות וניתוח אוטומטיות כדי לבדוק האם המערכת עומדת במפרטים שלה.בין טכניקות האימות והניתוח ניתן למנות:
- אימות מבוסס-יחסים התנהגותיים
- אימות מבוסס לוגיקה זמנית
- סימולציה אינטראקטיבית
- ניתוח נגישות
זוהי אפליקציה שניתן להוריד גם מ-https://sourceforge.net/projects/cwb-nc/. היא אוחסנה ב-OnWorks על מנת שניתן יהיה להפעיל אותה באופן מקוון בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.
