Prüfung der Fähigkeiten, der Richtigkeit und der Effizienz des vorgesehenen Algorithmus oder des Systems zur Einhaltung bestimmter formaler Spezifikationen.