Prüfung einer These, eines Plans oder Lösungsansatzes in Bezug auf das zu lösende Problem, die mit der Verifizierung, Falsifizierung oder unklar endet. In der Informatik ist es die dokumentierte Beweisführung, dass ein System die Anforderungen in der Praxis erfüllt.
Verwandte Begriffe:
- XYZ