A Parallel Tableau Algorithm for BIG DATA Verification

dc.creatorAsteasuain, Fernando
dc.creatorRodríguez Caldeira, Luciana
dc.date2020-10
dc.date2020
dc.date2021-03-09T15:08:59Z
dc.date.accessioned2023-07-15T00:44:53Z
dc.date.available2023-07-15T00:44:53Z
dc.identifierhttp://sedici.unlp.edu.ar/handle/10915/114484
dc.identifierisbn:978-987-4417-90-9
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/7455659
dc.descriptionBig 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 to face with these new challenges since they been pointed out as one of the most needed software engineering activities to consolidate big data modern systems. In this work we present a parallel implementation of a tableau algorithm aiming to improve the performance of our formal verification scheme. The pursued objective behind this transformation is to adapt our framework to deal with big data systems.
dc.descriptionWorkshop: WIS – Ingeniería de Software
dc.descriptionRed de Universidades con Carreras en Informática
dc.formatapplication/pdf
dc.format360-369
dc.languageen
dc.rightshttp://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rightsCreative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.subjectCiencias Informáticas
dc.subjectBig data
dc.subjectFormal verification
dc.subjectParallel programming
dc.titleA Parallel Tableau Algorithm for BIG DATA Verification
dc.typeObjeto de conferencia
dc.typeObjeto de conferencia


Este ítem pertenece a la siguiente institución