<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Formal Verification of Storm Topologies - Supplementary Material

Name: Formal Verification of Storm Topologies - Supplementary Material
Keywords: symbolic model checking, NuSMV, LTL logic, Apache Storm, BDDs

integration_instructionsResearch softwarekeyboard_double_arrow_right Software 10 Apr 2024 English Publisher:Zenodo

Authors: Pagani, Elena; Bersani, Marcello Maria; Erascu, Madalina; Marconi, Francesco; Ghilardi, Silvio;

doi: 10.5281/zenodo.10955819 , 10.5281/zenodo.10955818

Formal Verification of Storm Topologies - Supplementary Material

- Summary
- Subjects
- Metrics

Abstract

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.

Related Organizations

Keywords

symbolic model checking, NuSMV, LTL logic, Apache Storm, BDDs

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average