An expressive and enriched specification language to synthesize behavior in BIG DATA systems

In this work we extend our behavioral specification and controller synthesis framework FVS to deal with BIG DATA requirements. For one side, we enriched FVS expressive power by exhibiting how our language can handle fluents and partial specifications. For the other side, we combined FVS with a para...

Descripción completa

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

Ejemplares similares

Ejemplares similares