Eine künstliche Sprache verwendet, um eine Software-Anforderung darstellen. Die resultierende formale Anforderungen können durch Nachweis der Richtigkeit Methoden "richtige" nachgewiesen werden. Auch bekannt als überprüfbare Anforderungen Sprache.