Intuition verpackt in ein formales Modell // Universität Oldenburg https://uol.de/aktuelles/artikel/intuition-verpackt-in-ein-formales-modell-1492
Im Sonderforschungsbereich AVACS haben Top-Informatiker vermeintlich „unentscheidbare“ Probleme in sicherheitskritischen Systemen beherrschbar gemacht. Im Interview blickt Sprecher Werner Damm auf spannende zwölf Jahre zurück.
DAMM: Die Informatik kennt die Begriffe „entscheidbar