זוהי אפליקציית Windows בשם VeriSiMPL, שאת הגרסה האחרונה שלה ניתן להוריד בשם VeriSiMPL_Version3-0.tar.gz. ניתן להריץ אותה באופן מקוון בספק האירוח החינמי OnWorks לתחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם VeriSiMPL עם OnWorks בחינם.
בצע את ההוראות הבאות כדי להפעיל את האפליקציה הזו:
- 1. הורד את היישום הזה למחשב שלך.
- 2. הזן במנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש שאתה רוצה.
- 3. העלה את היישום הזה במנהל קבצים כזה.
- 4. הפעל כל אמולטור מקוון של OS OnWorks מאתר זה, אך עדיף אמולטור מקוון של Windows.
- 5. ממערכת ההפעלה OnWorks Windows שזה עתה התחלת, עבור אל מנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש הרצוי.
- 6. הורד את האפליקציה והתקן אותה.
- 7. הורד את Wine ממאגרי התוכנה שלך להפצות לינוקס. לאחר ההתקנה, תוכל ללחוץ פעמיים על האפליקציה כדי להפעיל אותם עם Wine. אתה יכול גם לנסות את PlayOnLinux, ממשק מפואר מעל Wine שיעזור לך להתקין תוכניות ומשחקים פופולריים של Windows.
Wine היא דרך להפעיל תוכנת Windows על לינוקס, אך ללא צורך ב-Windows. Wine היא שכבת תאימות של Windows בקוד פתוח שיכולה להריץ תוכניות Windows ישירות על כל שולחן עבודה של לינוקס. בעיקרו של דבר, Wine מנסה להטמיע מחדש מספיק של Windows מאפס כדי שהוא יוכל להריץ את כל יישומי Windows מבלי להזדקק ל-Windows.
צילומי מסך:
VeriSiMPL
תיאור:
ארגז כלים זה משמש ליצירת הפשטות סופיות של מערכות אוטונומיות מקס פלוס-לינאריות (MPL) על פני R^n. הפשטות מאופיינות כמערכות מעבר מתויגות במצב סופי (LTS). ההפשטות הסופיות של LTS מוצגות כדי לדמות או לבי-סימולציה של מערכת ה-MPL המקורית. מודלים של LTS צריכים להיות מאומתים מול מפרטים נתונים המבוטאים כנוסחאות בלוגיקה זמנית ליניארית (LTL) ולוגיקת עץ חישובית (CTL). ארגז הכלים מתכוון למנף את בודק המודלים של NuSMV. המודלים צריכים לבוא לידי ביטוי בשפת C++. הליך ההפשטה פועל ב-C++. ה-LTS שנוצר מיוצא לשפת NuSMV. ככזה, ניתן להזין אותו, יחד עם מפרט עניין, לבודק הדגמים של NuSMV.
אם אתה מכיר יותר את שפת JAVA, אנו מציעים לך לנסות את VeriSiMPL גרסה 2.0 המבוססת במלואה על JAVA.
אם אתה מכיר יותר את שפת MATLAB, אנו מציעים לך לנסות את VeriSiMPL גרסה 1.4 המבוססת במלואה על MATLAB.
תכונות
- צור הפשטה של LTS במצב סופי ממערכת MPL באמצעות מבנה נתוני רשימה ועץ
- צור ייצוג Affine לפי חלק ממערכת MPL
- אמת מערכת MPL מול נוסחת LTL או CTL
- דמיינו את ה-TS ב-Graphviz (גרסה 1.4)
- ייצוא מודל אוטונומי למערכת PWA במבנה MPT (גרסה 1.4)
- ניתוח נגישות של מערכות MPL (גרסה 1.4)
- GUI להפשטה ואימות של מערכות MPL אוטונומיות (גרסה 1.4)
- GUI עבור נגישות קדימה של מערכות MPL אוטונומיות (גרסה 1.4)
קהל
מדע/מחקר, חינוך, הנדסה
שפת תכנות
MATLAB, Java
כל הקטגוריות
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/verisimpl/. הוא התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.