A parallel tableau algorithm for BIG DATA verification
A parallel tableau algorithm for BIG DATA verification
| dc.contributor.author | Asteasuain, Fernando | |
| dc.contributor.author | Rodríguez Caldeira, Luciana | |
| dc.date.accessioned | 2023-12-22T16:14:27Z | |
| dc.date.available | 2023-12-22T16:14:27Z | |
| dc.date.issued | 2020-10 | |
| 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 verication scheme. The pursued objective behind this transformation is to adapt our framework to deal with BIG DATA systems. | |
| dc.description.sponsorship | . | |
| dc.identifier.citation | Asteasuain, F.; Rodríguez Caldeira, L. (2020). A parallel tableau algorithm for BIG DATA verification. En: Congreso Argentino de Ciencias de la Computación, CACIC. 26. 5-9 oct 2020. Libro de actas. San Justo : Universidad Nacional de La Matanza. p.:351-360 | |
| dc.identifier.uri | https://repositorio.uai.edu.ar/handle/123456789/2155 | |
| dc.language.iso | en | |
| dc.publisher | Universidad Nacional de La Matanza | |
| dc.subject | big data | |
| dc.subject | formal verification | |
| dc.subject | parallel programming | |
| dc.title | A parallel tableau algorithm for BIG DATA verification | |
| dc.type | DOCUMENTOCONF |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- 0000133210.pdf
- Size:
- 676.64 KB
- Format:
- Adobe Portable Document Format
- Description:
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed to upon submission
- Description: