Selbstverifizierende mathematische Softwarewerkzeuge im High Performance Computing : Konzeption, Entwicklung und Analyse am Beispiel der parallelen verifizierten Lösung linearer Fredholmscher Integralgleichungen zweiter Art / Markus Grimmer