A Parallel Tableau Algorithm for BIG DATA Verification

Asteasuain, Fernando; Rodriguez Caldeira, Luciana

dc.contributor.author	Asteasuain, Fernando
dc.contributor.author	Rodriguez Caldeira, Luciana
dc.date.accessioned	2024-08-08T15:59:29Z
dc.date.available	2024-08-08T15:59:29Z
dc.date.issued	2020
dc.identifier.isbn	978-987-4417-90-9
dc.identifier.other	http://sedici.unlp.edu.ar/handle/10915/114484
dc.identifier.uri	https://undavdigital.undav.edu.ar/xmlui/handle/20.500.13069/3493
dc.description	Fil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
dc.description	Fil: Rodriguez Caldeira, Luciana. Universidad Abierta Interamericana. Centro de Altos Estudios. CAETI; Argentina
dc.description.abstract	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 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.format.mimetype	application/pdf
dc.language.iso	eng
dc.publisher	Red de Universidades con Carreras en Informática
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Big data
dc.subject	Formal verification
dc.subject	Parallel programming
dc.title	A Parallel Tableau Algorithm for BIG DATA Verification
dc.type	info:eu-repo/semantics/conferenceObject
dc.type	info:ar-repo/semantics/documento de conferencia
dc.type	info:eu-repo/semantics/publishedVersion
dcterms.license	http://creativecommons.org/licenses/by-nc-sa/4.0/
local.eventos.nombregeneral	Congreso Argentino de Ciencias de la Computación (CACIC)
local.eventos.numero	XXVI
local.eventos.lugar	Argentina