أمازون تطلق دورة تدريبية لفحص البرامج معتمدة على دايفني
2025-06-02
أصدرت أمازون مواد تعليمية مفتوحة المصدر للتحقق من البرامج باستخدام دايفني. تتجاوز الدورة التدريبية البرمجة الأساسية في دايفني، حيث تستكشف إمكاناتها كمساعد لإثبات. وهي مقسمة إلى ثلاثة أجزاء: الجزء الأول يقدم لغة برمجة دايفني؛ والجزء الثاني يستكشف دايفني كمساعد لإثبات، ويغطي طرق الإثبات الرسمية مثل الاستنتاج الطبيعي؛ والجزء الثالث يطبق هذه المعرفة على التحقق من البرامج، بما في ذلك البرامج الوظيفية والإمبراطورية والبرمجيات موجهة للكائنات. هذا المورد مناسب للمبتدئين والمتخصصين في دايفني على حد سواء، حيث يقدم نهجًا شاملاً للتحقق من البرامج.