Verification
Verifikasiya − sistemin spesifikasiyalarının iki səviyyəsinin onlar arasında zəruri uyğunluğu sübut etmək üçün qarşılaşdırılması prosesi (məsələn, təhlükəsizlik siyasəti modelinin və sistemin spesifikasiyalarının; sistemin spesifikasiyalarının və ilkin kodların; ilkin kodların və yerinə yetirilən kodların və s.). Bu proses tamamilə və qismən avtomatlaşdırıla bilər.