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 partially supported by project SERICS (PE00000014) under the MUR National Recovery and Resilience Plan funded by the European Union - NextGenerationEU.  Elena Pagani was partially supported by the project "Safe and Robust Communication for Multi-Agent Robot Systems" under the internal research support program PSR 2022 of the  Università degli Studi di Milano.  Silvio Ghilardi was supported by INdAM's group GNSAGA.