Wer über fehlerfreie Computerprogramme nachdenkt, wird heute belächelt – „Träumen Sie weiter“. Doch ein deutsch-französisches Forscherteam ist diesem Ideal jetzt ein Stückchen nähergekommen. Dafür erhalten zwei Saarbrücker Informatiker am heutigen Samstag einen der begehrtesten Software-Preise: den ACM-Award.