Штучна мова використовується для представлення програмне забезпечення вимоги. Результаті формальних вимог може бути доведено "правильний" через методи доведення коректності. Також відомий як піддаються перевірці вимог мови.