Volume: Vol-4244 CILC 2026 | Year: 2026

Paper: « paper10 | paper13 | paper14 »

Formally Verifying the Absence of Overloading in Apache Storm

Elena Pagani
Marcello M. Bersani
Mădălina Eraşcu
Matteo G. Rossi
Silvio Ghilardi