DSpace Repository

Browsing Trabajos presentados a eventos by Subject "Formal verification"

Browsing Trabajos presentados a eventos by Subject "Formal verification"

Sort by: Order: Results:

  • 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 ...

Search DSpace


Browse

My Account