ஒரு செயற்கைமுறை பயன்படுத்திய மொழி ஒரு மென்பொருள் அடிப்படை குறிப்பதற்கு. முடிவு வேளை தேவைகள் முடியும் இருக்க proven சரியான"ஆதாரம்-மற்றும்-correctness முறைகள் மூலம். எனவும் அழைக்கப்படும் verifiable தேவைகள் மொழி.