Asteasuain, Fernando
(Red de Universidades con Carreras en Informática, 2023)
The formal verification of BIG DATA systems remains as a challenging task to be addressed since a very large and complex state space describing the behavior of the system must be explored and verified. In particular, the ...