Debido al alto tráfico generado por robots, aplicamos límites en el número de peticiones permitidas por cliente y bloqueos por IP automáticos. Si haces un uso legítimo y estás teniendo problemas, avísanos para reevaluar nuestras políticas de bloqueo. Disculpa las molestias.

Resumen:
Verified Model Checking for Conjunctive Positive Logic

Miniatura

Archivos

11705-PROLE-2022-004.pdf (122.47 KB)

Fecha

2022-09-05

Autores

Editor

Sistedes

Publicado en

Actas de las XXI Jornadas de Programación y Lenguajes (PROLE 2022)

Licencia Creative Commons

CC BY-NC-ND 4.0
CC BY-NC-ND 4.0

Resumen

La referencia completa es: Abuin, A., Díaz de Cerio, U., Hermo, M. and Lucio, P., Verified Model Checking for Conjunctive Positive Logic. SN COMPUTER SCIENCE, VOL 2, Springer 2021. https://doi.org/10.1007/s42979-020-00417-3

Descripción

Acerca de Abuin, Alex

Palabras clave

Conjunctive Positive Logic, Dafny, Model Checking, Proof System, Quantified Constraint Satisfaction Problem, Verification

Enlace permanente

https://hdl.handle.net/11705/PROLE/2022/004

Colecciones

PROLE 2022 (Santiago de Compostela) • Análisis de programas y verificación

Citación

Texto planoBibTeX

Abuin, A., Díaz de Cerio, U., Hermo, M., Lucio, P.: Verified Model Checking for Conjunctive Positive Logic. In: Julián Iranzo, P. (ed.) Actas de las XXI Jornadas de Programación y Lenguajes (PROLE 2022). Sistedes (2022). https://hdl.handle.net/11705/PROLE/2022/004

Página completa del ítem
Notificar un error en este resumen