Resumen:
Verified Model Checking for Conjunctive Positive Logic

Fecha

2022-09-05

Editor

Sistedes

Publicado en

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

Licencia Creative Commons

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
Página completa del ítem
Notificar un error en este resumen
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX