UPPAAL

UPPAAL 4.0.6

UPPAAL هو بيئة متكاملة لأداة النمذجة، والمصادقة والتحقق من أنظمة الوقت الحقيقي على غرار كشبكات من لدن الموقوتة، وسعت مع أنواع البيانات (الأعداد الصحيحة المحصورة، المصفوفات، وما إلى ذلك).UPPAAL كورا هي فرع من UPPAAL عن التكلفة الأمثل وسائل الأتصال Anslysis التي وضعها فريق UPPAAL كجزء من مشاريع VHS وAMETIST. في حين...