Autor:
Díaz de Cerio, Unai

Foto de perfil
E-mails conocidos
udiazcerio@ikerlan.es
Fecha de nacimiento
Proyectos de investigación
Unidades organizativas
Puesto de trabajo
Apellidos
Díaz de Cerio
Nombre de pila
Unai
Nombre
Nombres alternativos
Afiliaciones conocidas
Ikerlan Research Center., Spain
Ik4-Ikerlan, Spain
Páginas web conocidas
Página completa del ítem
Notificar un error en este autor

Filtros

20181
Restablecer filtros

Ajustes

Resultados de la búsqueda

Mostrando 1 - 1 de 1
  • Miniatura
    Artículo
    Context-based Model Checking using SMT-solvers
    Abuin, Alex; Díaz de Cerio, Unai; Hermo, Montserrat; Lucio, Paqui. Actas de las XVIII Jornadas de Programación y Lenguajes (PROLE 2018), 2018-09-17.
    In this paper we propose a new idea for the implementation of symbolic model checking. Our pro- posal takes advantage of two technologies. First, SMT-solvers as efficient auxiliary tools to perform a large proportion of the computational task. Second, the context-based tableau that is especially well suited for providing certificates of proved properties, as well as counterexamples of disproved properties. We mainly introduce the algorithm to be implemented, along with illustrative examples.