طريقة شكلية

في علم الحاسوب، على وجه الخصوص هندسة البرمجيات وهندسة الحاسوب، تعد الطرق الشكلية نوعًا خاصًا من أنواع التقنيات القائمة على الحساب من أجل والتطوير من أنظمة البرمجيات . والدافع وراء استخدام الطرق الشكلية لتصميم البرمجيات والأجهزة هو التوقع بأن تنفيذ التحليل الحسابي المناسب، كما هو الحال في الأنظمة الهندسية الأخرى، يمكن أن يساهم في زيادة اعتمادية وقوة التصميم. وأفضل وصف للطرق الشكلية هو أنها تطبيق يتميز بالتنوع واسع النطاق بشكل كبير لأساسيات المعلوماتية النظرية، على وجه الخصوص حسابات واللغات الشكلية ونظرية التشغيل الذاتي ، ولكن كذلك نظام الأنواع للمشكلات فيما يتعلق بمواصفات الأجهزة والتحقق منها.