Modular Compiler Verification door Markus Muller-Olm