Software läuft! Beweisführung :-)