UNDAV Digital

ListarTrabajos presentados a eventos por tema "Formal verification"

ListarTrabajos presentados a eventos por tema "Formal verification"

Ordenar por:Orden:Resultados:

  • A Parallel Tableau Algorithm for BIG DATA Verification 
    Asteasuain, Fernando; Rodriguez Caldeira, Luciana (Red de Universidades con Carreras en Informática, 2020)
    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 ...
  • Addressing the state explosion problem for big data systems formal verification 
    Asteasuain, Fernando (Red de Universidades con Carreras en Informática, 2023)
    The formal verification of BIG DATA systems remains as a challenging task to be addressed since a very large and complex state space describing the behavior of the system must be explored and verified. In particular, the ...
  • An expressive and enriched specification language to synthesize behavior in BIG DATA systems 
    Asteasuain, Fernando; Rodriguez Caldeira, Luciana (Red de Universidades con Carreras en Informática, 2021)
    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 ...

Buscar en UNDAV Digital


Listar

Mi cuenta