Falls die Moeglichkeit im Rahmen der fuer das Projekt zur Verfuegung gestellten zeitlichen und finanziellen Mittel besteht, ist die Korrektheit des Brainfuck-Compilers formal nachzuweisen.
