חינם אבטחת איכות ובדיקות תוכנה עבור Alexandre David

UPPAAL היא סביבת כלי משולבת לדוגמנות, אימות ואימות של מערכות זמן אמת דגם כמו רשתות של אוטומטים מתוזמן, הרחיבו עם סוגי נתונים (מספרים שלמים חסום, מערכים, וכו ').UPPAAL קורה הוא סניף של UPPAAL לעלות האופטימלית reachability Anslysis פותח על ידי צוות...