Explorando verificación formal paralela para sistemas de BIG-DATA
2021
Software Engineering is trying to adapt its tools, mechanisms and techniques to cope with the challenges involved when developing BIG DATA software systems.
In particular, formal verification in one of the areas that more urgently is required to step in. In this work we introduce two crucial aspects aiming to adapt FVS to cope with BIG Data requirements. For one side, FVS’s parallel algorithm is proved to be sound and correct. For the other side, we developed a compelling empirical
validation of our approach, employing a communication protocol relevant in the industrial world within a context of parallel systems, introducing a load-balancer
process and comparing several implementations.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI