لغة Verifpal هي لغة برمجة تم تصميمها لتفسير وتحقق أمان البروتوكولات التشفيرية. تتميز Verifpal بأسلوبها الذي يحاكي الحوار غير الرسمي في وصف البروتوكولات، مما يجعلها سهلة الفهم والاستخدام لكنها في الوقت ذاته دقيقة ومعبرة بما يكفي للنمذجة الشكلية. تستخدم Verifpal مفاهيم وكيانات واضحة مثل الأطراف الرئيسية (مثل أليس وبوب)، حيث تفترض وجودهما وحالاتهما المستقلة في نموذج البروتوكول.
تم ظهور Verifpal لأول مرة في عام 2019، وهي تعتبر حديثة النشأة في مجال التحقق من الأمان للبروتوكولات اللامرئية. على الرغم من عدم وجود معلومات محددة عن المبتكرين للغة، إلا أن موقعها الرسمي يوفر مصادر ومعلومات هامة حول الاستخدام والدعم.
من الميزات البارزة للغة Verifpal توفرها لإمكانية إضافة تعليقات لتوثيق الكود، مما يساعد على فهم وصيانة البروتوكول بشكل أفضل. كما أنها توفر بيئة برمجية تسهل تحديد البنية اللغوية للبروتوكول من خلال عدم وجود تقويم دلالي للصفوف.
يمكن العثور على المزيد من المعلومات والدعم عبر موقعها الرسمي: Verifpal Website