تصدیق برنامه
program verification
درستی‌سنجی دانش
knowledge verification
مهندسی نرم‌افزار
software engineering
نمودار تصمیم
decision diagram
formal verification
تصدیق رسمی
verification, formal
تحلیل قابلیت دسترسی
reachability analysis
آزمون همنوایی
conformance testing
مشخصات قراردادی
formal specification
protocol
پروتکل