Formal Verification of Storm Topologies - Supplementary Material

This repository contains the supplementary material accompanying the paper named: Formal Verification of the Safety of Apache Storm Topologies to Overloading. Specifically, here can be found all the software, scripts, and NuSMV models to replicate the experiments presented in the manuscript, and the spreadsheet with all the experimental results . Please, refer to the README.md file for more details. This work was supported partially by project SERICS (PE00000014) under the MUR National Recovery and Resilience Plan funded by the European Union - NextGenerationEU, and partially by PSR 2023 funded by the Università degli Studi di Milano.