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 |