Überprüfen von Programm- und Systemkonfiguration mit Safety Verification Tool (SVT)