LLBMC
Statische Software-Analyse
quality approved
Software-Defekt-Vorhersage
components
Produkt-Konfiguration
netzwerk Gerd Altmann
Zuverlässige maschinelle Lernverfahren
SAT-Instance
Logische Entscheidungs-verfahren