Ein Elektro-Schiri prüft die Software
Freiburger Wissenschaftler erarbeiten Computerprogramme, die testen, ob andere Programme halten, was Hersteller versprechen
FREIBURG. Ein elektronischer Schiedsrichter entscheidet für "Salomo". Dieses Forschungsprojekt soll Vertragsabschlüsse kleiner und mittelständischer Unternehmen mit Softwareherstellern vereinfachen. Sie scheitern oft an unsicherer Rechtslage und daran, dass die Qualität von Programmen schwer kontrollierbar ist. Das Wissenschaftsministerium des Landes fördert "Salomo" mit einer Million Euro. In Mannheim feilen Rechtswissenschaftler an standardisierten, sicheren Verträgen. In Freiburg arbeitet das Team des Informatikers Andreas Podelski am Elektro-Schiri – an Software, die Software prüft.
Verifikation heißt diese Informatikdisziplin. "Freiburg ist eine Hochburg in dieser Forschungsrichtung", sagt Andreas Podelski. "Sie ist so etwas wie der heilige Gral der Informatik." Die Korrektheit von Programmen gilt als nicht berechenbar. "Sie können einen Lügner nicht entlarven, indem sie ihn fragen, ob er ...