UPPAAL 4.0.6

در UPPAAL یک محیط یکپارچه ابزار برای مدل سازی، اعتبار سنجی و تحقیق سیستم های زمان واقعی مدل به عنوان شبکه های اتوماتیک بهنگام، تمدید با انواع داده (اعداد صحیح محدود، آرایه، و غیره) می باشد.UPPAAL کورا شاخه ای از UPPAAL برای هزینه بهینه قابل دسترسی Anslysis توسط تیم UPPAAL به عنوان بخشی از پروژه های VHS و AMETIST توسعه...