Asteasuain, Fernando; Rodriguez Caldeira, Luciana
(Red de Universidades con Carreras en Informática, 2020)
Big data systems are becoming more and more present in our everyday life generating data and information that needs to be explored and analyzed. In this sense, formal verification tools and techniques must provide solutions ...