זוהי אפליקציית לינוקס בשם Alternating Timed Automata Solver שניתן להוריד את המהדורה האחרונה שלה בתור ataoproject_1.2.beta.zip. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם Alternating Timed Automata Solver עם 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. הורד את האפליקציה, התקן אותה והפעל אותה.
פותר אוטומטיים מתוזמן לסירוגין
תיאור:
המטרה שלנו היא לפתח פותר עבודה מלא עבור ATA (עם שעון 1) ב-Python, עם תמיכה ב-MTL ל-ATA. ההכרעה בבעיית הריק הוצעה על ידי Lasota ו- Walukiewicz. ה-MTL ל-ATA הוצע על ידי Ouaknine ו-Worrell.
תכונות
- פותר ריקנות אוטומטית מתוזמנת לסירוגין
- תרגום MTL ל-ATA
- פעולות ATA נפוצות (איחוד, השלמה, צומת, בדיקת מודל)
קהל
טכנולוגיית מידע
ממשק משתמש
Qt
שפת תכנות
פיתון
סביבת מסד נתונים
מבוסס XML
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/atao/. זה התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.