Bir yapay dili yazılım gereksinimi göstermek için kullanılır. Elde edilen resmi gereksinimleri doğruluğunu ispat yöntemleri ile "doğru" kanıtlanmış olabilir. Doğrulanabilir gereksinimleri dil olarak da bilinir.