Published April 7, 2017 | Version v1
Dataset Open

Formal Verification of Storm Topologies through D-VerT

Authors/Creators

  • 1. Politecnico di MIlano

Description

This archive includes the research data associated to the paper:
Formal verification of storm topologies through D-VerT. In Proceedings of the Symposium on Applied Computing (SAC '17). Francesco Marconi, Marcello M. Bersani, and Matteo Rossi. 2017. ACM, New York, NY, USA, 1168-1174. DOI: https://doi.org/10.1145/3019612.3019769

Specifically it includes the UML models shown in the paper (Figures 7 and 8), the corresponding instances of the Temporal logic models automatically generated by means of the D-VerT and the output files of the experiments.

Files

SAC2017.zip

Files (817.3 kB)

Name Size
md5:e8930cb7cc0e42e9f31a619f98a217c3
817.3 kB Preview Download

Additional details

Funding

European Commission
DICE - Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements 644869