الوصف
منهجيات في المواصفة الرسمية للبرمجيات، التطوير والتحقق. استخدام إثبات النظريات، الاستدلال الآلي، وغيرها من الأساليب الشكلية لصحة البرمجيات. تطبيقات في التحقق من البرامج والحوسبة الآمنة.
نص المرجع بلغته الأصلية
Methodologies in formal software specification, development, and verification. The use of theorem proving, automated deduction, and other related formal methods for software correctness. Applications in program verification and secure computation.
المصادر والمراجع
يتم الاحتفاظ بالتواريخ والمصادر لمساعدتك في التحقق من المعلومات. تُعرض ترجمات لتسهيل القراءة؛ المصدر الرسمي هو المرجع للشروط والمتطلبات.
مرجع المصدر : https://calendar.carleton.ca/grad/courses/COMP/