Verified Model Checking for Conjunctive Positive Logic

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

Palabras Clave:

Conjunctive positive logic - Dafny - Model checking - proof system - Quantified constraint satisfaction problem - Verification

Autor(es):

• Alex Abuin {aabuin@ikerlan.es}
  Ikerlan Research Center. - Spain
  
• Unai Díaz de Cerio {UDiazCerio@ikerlan.es}
  Ikerlan Research Center. - Spain
  
• Montserrat Hermo {montserrat.hermo@ehu.eus}
  University of the Basque Country - Spain
  
• Paqui Lucio {paqui.lucio@ehu.es}
  University of the Basque Country - Spain
  

Handle:

11705/PROLE/2022/004

Descargas:

Acceso a los detalles haciendo click aquí.