Dirbtinė kalba, naudojama atstovauti programinės įrangos reikalavimas. Dėl formalių reikalavimų gali būti įrodyta "teisinga" per teisingumą įrodymo metodų. Taip pat žinomas kaip patikrinti reikalavimų kalba.