זוהי אפליקציית לינוקס בשם GraphIL שניתן להוריד את המהדורה האחרונה שלה בתור GraphIL_1.0.jar. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם GraphIL עם 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. הורד את האפליקציה, התקן אותה והפעל אותה.
GraphIL
Ad
תיאור
GraphIL הוא עורך גרפי לשפת הביניים, אחד מפורמליסטי הקלט של Verics. Verics הוא כלי לאימות אוטומטי של אוטומטים מתוזמנים ופרוטוקולים, שפותח במכון למדעי המחשב של האקדמיה הפולנית למדעים.קהל
מפתחים
ממשק משתמש
מבוסס אינטרנט, Win32 (MS Windows), X Windows System (X11)
שפת תכנות
Java
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/graphil/. הוא התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.
