A Parallel Tableau Algorithm for BIG DATA Verification
- Autores
- Asteasuain, Fernando; Rodríguez Caldeira, Luciana
- Año de publicación
- 2020
- Idioma
- inglés
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- 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.
Workshop: WIS – Ingeniería de Software
Red de Universidades con Carreras en Informática - Materia
-
Ciencias Informáticas
Big data
Formal verification
Parallel programming - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/4.0/
- Repositorio
.jpg)
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/114484
Ver los metadatos del registro completo
| id |
SEDICI_c5a8574944afa51770bf3e51e8b4bd88 |
|---|---|
| oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/114484 |
| network_acronym_str |
SEDICI |
| repository_id_str |
1329 |
| network_name_str |
SEDICI (UNLP) |
| spelling |
A Parallel Tableau Algorithm for BIG DATA VerificationAsteasuain, FernandoRodríguez Caldeira, LucianaCiencias InformáticasBig dataFormal verificationParallel programmingBig 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.Workshop: WIS – Ingeniería de SoftwareRed de Universidades con Carreras en Informática2020-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf360-369http://sedici.unlp.edu.ar/handle/10915/114484enginfo:eu-repo/semantics/altIdentifier/isbn/978-987-4417-90-9info:eu-repo/semantics/reference/hdl/10915/113243info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-15T11:18:33Zoai:sedici.unlp.edu.ar:10915/114484Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-15 11:18:33.889SEDICI (UNLP) - Universidad Nacional de La Platafalse |
| dc.title.none.fl_str_mv |
A Parallel Tableau Algorithm for BIG DATA Verification |
| title |
A Parallel Tableau Algorithm for BIG DATA Verification |
| spellingShingle |
A Parallel Tableau Algorithm for BIG DATA Verification Asteasuain, Fernando Ciencias Informáticas Big data Formal verification Parallel programming |
| 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 |
A Parallel Tableau Algorithm for BIG DATA Verification |
| dc.creator.none.fl_str_mv |
Asteasuain, Fernando Rodríguez Caldeira, Luciana |
| author |
Asteasuain, Fernando |
| author_facet |
Asteasuain, Fernando Rodríguez Caldeira, Luciana |
| author_role |
author |
| author2 |
Rodríguez Caldeira, Luciana |
| author2_role |
author |
| dc.subject.none.fl_str_mv |
Ciencias Informáticas Big data Formal verification Parallel programming |
| topic |
Ciencias Informáticas Big data Formal verification Parallel programming |
| dc.description.none.fl_txt_mv |
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. Workshop: WIS – Ingeniería de Software Red de Universidades con Carreras en Informática |
| 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. |
| publishDate |
2020 |
| dc.date.none.fl_str_mv |
2020-10 |
| dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
| format |
conferenceObject |
| status_str |
publishedVersion |
| dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/114484 |
| url |
http://sedici.unlp.edu.ar/handle/10915/114484 |
| dc.language.none.fl_str_mv |
eng |
| language |
eng |
| dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/isbn/978-987-4417-90-9 info:eu-repo/semantics/reference/hdl/10915/113243 |
| dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) |
| eu_rights_str_mv |
openAccess |
| rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) |
| dc.format.none.fl_str_mv |
application/pdf 360-369 |
| dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
| reponame_str |
SEDICI (UNLP) |
| collection |
SEDICI (UNLP) |
| instname_str |
Universidad Nacional de La Plata |
| instacron_str |
UNLP |
| institution |
UNLP |
| repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
| repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
| _version_ |
1846064243629096960 |
| score |
13.22299 |