program verification
preferred label: تصدیق برنامه @fa
type: Concept
broader: formal verification

knowledge verification
preferred label: درستی‌سنجی دانش @fa
type: Concept
related: formal verification

software engineering
preferred label: مهندسی نرم‌افزار @fa
type: Concept
narrower: formal verification

decision diagram
preferred label: نمودار تصمیم @fa
type: Concept
related: formal verification

formal verification
preferred label: تصدیق رسمی @fa
related: knowledge verification
related: decision diagram
related: protocol
related: reachability analysis
related: conformance testing
related: formal specification
narrower: program verification
broader: software engineering
type: Concept
alternative label: verification, formal

reachability analysis
preferred label: تحلیل قابلیت دسترسی @fa
type: Concept
related: formal verification

conformance testing
preferred label: آزمون همنوایی @fa
type: Concept
related: formal verification

formal specification
preferred label: مشخصات قراردادی @fa
type: Concept
related: formal verification

protocol
preferred label: پروتکل @fa
type: Concept
related: formal verification