Amaçlanan algoritmanın ya da sistemin belirli biçimsel şartnamelere uyup uymadığını görmek için yeteneklerini, doğruluğunu ve verimliliğini kontrol etmek.
Diğer adları
verify formal IT specifications
Bu beceriyi isteyen meslekler (5)
Bu beceriyle iş ara
“biçimsel bilişim şartnamelerini doğrulamak” becerisi isteyen iş ilanlarına bak.