Published April 10, 2024
| Version v1
Software
Open
Formal Verification of Storm Topologies - Supplementary Material
Creators
Description
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.
Files
MODELS.zip
Files
(275.3 kB)
Name | Size | Download all |
---|---|---|
md5:3f5c449c89e47a9d8103bcd8272612c8
|
266 Bytes | Download |
md5:7864c690e9db99606e46509f0b57a1ba
|
206.2 kB | Preview Download |
md5:f21d328ae6e431c175ef0f74fb7ce42f
|
4.0 kB | Preview Download |
md5:8db0aae2691e6cec29613e76c323ccdb
|
53.4 kB | Download |
md5:0d720867f42dcd5b01ed032d8dcea52b
|
11.3 kB | Download |
md5:67ed56fb519c1f884ed94c72f9866999
|
57 Bytes | Download |
md5:7d4529ea2304a041ae73c8426cfd32b8
|
54 Bytes | Download |
Additional details
Dates
- Created
-
2024-04-10