UNDAV Digital

ListarTrabajos presentados a eventos por tema "Formal Verification"

ListarTrabajos presentados a eventos por tema "Formal Verification"

Ordenar por:Orden:Resultados:

  • A flexible and expressive formalism to specify Metamorphic Properties for BIG DATA systems validation 
    Asteasuain, Fernando (Red de Universidades con Carreras en Informática, 2022)
    BIG DATA systems represent a huge challenge for software engineering validations tasks since they have been classified as “non testable”. Metamorphic Relationships (MR) have been proposed as a technique to overcome this ...
  • Verification and Behavioral Synthesis of Agent-Based Systems 
    Asteasuain, Fernando; D'Angiolo, Federico; Dubinsky, Manuel; Gamboa, Pablo Daniel (Sociedad Argentina de Informática, 2020)
    In this work we explore the FVS language as a formalism to express, validate and synthesize behavior in the agent-based systems' world. Recent work relates Behavioral Synthesis with agent-based systems, opening the possibility ...

Buscar en UNDAV Digital


Listar

Mi cuenta