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...
Guardado en:
| Autores principales: | Asteasuain, Fernando, Rodríguez Caldeira, Luciana |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/114484 |
| Aporte de: |
Ejemplares similares
-
An expressive and enriched specification language to synthesize behavior in BIG DATA systems
por: Asteasuain, Fernando, et al.
Publicado: (2021) -
Addressing the state explosion problem for big data systems formal verification
por: Asteasuain, Fernando
Publicado: (2023) -
A flexible and expressive formalism to specify Metamorphic Properties for BIG DATA systems validation
por: Asteasuain, Fernando
Publicado: (2022) -
Enhancing data parallel aplications with task parallelism
por: Fernández, Jacqueline, et al.
Publicado: (2001) -
Verificación formal de software en sistemas de big data
por: Asteasuain, Fernando, et al.
Publicado: (2022)