A Parallel Tableau Algorithm for BIG DATA Verification

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...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Asteasuain, Fernando, Rodríguez Caldeira, Luciana
Formato:	Objeto de conferencia
Lenguaje:	Inglés
Publicado:	2020
Materias:	Ciencias Informáticas Big data Formal verification Parallel programming
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/114484
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-114484
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Inglés
topic	Ciencias Informáticas Big data Formal verification Parallel programming
spellingShingle	Ciencias Informáticas Big data Formal verification Parallel programming Asteasuain, Fernando Rodríguez Caldeira, Luciana A Parallel Tableau Algorithm for BIG DATA Verification
topic_facet	Ciencias Informáticas Big data Formal verification Parallel programming
description	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.
format	Objeto de conferencia Objeto de conferencia
author	Asteasuain, Fernando Rodríguez Caldeira, Luciana
author_facet	Asteasuain, Fernando Rodríguez Caldeira, Luciana
author_sort	Asteasuain, Fernando
title	A Parallel Tableau Algorithm for BIG DATA Verification
title_short	A Parallel Tableau Algorithm for BIG DATA Verification
title_full	A Parallel Tableau Algorithm for BIG DATA Verification
title_fullStr	A Parallel Tableau Algorithm for BIG DATA Verification
title_full_unstemmed	A Parallel Tableau Algorithm for BIG DATA Verification
title_sort	parallel tableau algorithm for big data verification
publishDate	2020
url	http://sedici.unlp.edu.ar/handle/10915/114484
work_keys_str_mv	AT asteasuainfernando aparalleltableaualgorithmforbigdataverification AT rodriguezcaldeiraluciana aparalleltableaualgorithmforbigdataverification AT asteasuainfernando paralleltableaualgorithmforbigdataverification AT rodriguezcaldeiraluciana paralleltableaualgorithmforbigdataverification
bdutipo_str	Repositorios
_version_	1764820446391304194

A Parallel Tableau Algorithm for BIG DATA Verification

Ejemplares similares