Keymaera. أداة التحقق المجانية للأنظمة الهجينة
التحميل الان

Keymaera. الترتيب والملخص

Keymaera. العلامات

يؤكد التحقق تحقق من النظام محدد النظام مزيج التكنولوجيا نظام

Keymaera. وصف

أداة التحقق المجانية للأنظمة الهجينة KeyMaera هي أداة تحقق هجين مجانية لأنظمة هجينة تجمع بين تقنيات Algebraic Algebraic Algebraic Algebraic والجبر والكمبيوتر. Keymaera هي نظرية آلية وتفاعلية تفاعلية PROVER للحصول على مواصفات طبيعية ومنطق التحقق للأنظمة الهجينة. يدعم KeyMaera المنطق الديناميكي التفاضلي (DL) ، وهو منطق ديناميكي من الدرجة الأولى من الدرجة الأولى للبرامج الهجينة، وهو تدوين برنامج للأتمتة الهجينة. بالنسبة لأتمتة عملية التحقق، ينفذ KeyMaera حساب حساب حساب حساب مجاني متغير مجاني ومتغير استراتيجيات إثبات تلقائية تحلل مواصفات النظام الهجين رمزية. متطلبات: جاوة

Keymaera. برامج ذات صلة