Lucas C. Cordeiro

Questo studio esamina come l'analisi degli intervalli migliori l'efficacia del Bounded Model Checking.

ESBMC-Python aiuta a verificare la correttezza del codice Python usando le annotazioni di tipo e il controllo modello limitato.

Un nuovo approccio migliora il Federated Learning generando dati sintetici e proteggendo la privacy.