Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published July 26, 2016 | Version v1
Dataset Open

Towards the formal verification of data-intensive applications through metric temporal logic

  • 1. Politecnico di Milano
  • 2. Institute e-Austria Timisoara & West University of Timisoara

Description

p>The dataset consists of a set of model descriptions representingnbsp;span>Storm topologies. It is designed on purpose to show the approach presented in the paper quot;/span>span>Towards the formal verification of data-intensive applications through m/span>span>etric/span>span>nbsp;temporalnbsp;/span>span>logicquot; (F. Marconi, M.M. Bersani, M. Erascu and M. Rossi) which focuses on the analysisnbsp;/span>span>of bottleneck nodes of data intensive applications implemented with Storm./span>/p>

Files

ICFEM.zip

Files (2.7 MB)

Name Size Download all
md5:6d814c7a8d6b2214ff5571a437e26e49
2.7 MB Preview Download