Lucas C. Cordeiro

ESBMC-Python hilft, die Korrektheit von Python-Code mithilfe von Typannotationen und begrenztem Modellchecking zu überprüfen.

Ein neuer Ansatz verbessert das föderierte Lernen, indem er synthetische Daten generiert und dabei die Privatsphäre schützt.