Modelos de Computación Natural en PVS
Grupo de Computación Natural, CCIA , Universidad de Sevilla


The PVS Specification and Verification System

Specification of Adleman's Restricted Model Using An Automated Reasoning System: Verification of Lipton's Experiment. En C. Calude, M.J. Dinneen, F. Peper (eds.) Unconventional Models of Computation. Lecture Notes in Computer Science, vol. 2509 (2002), 126-136 (en colaboración con F. J. Martín Mateos y M. J. Pérez Jiménez) BibTeX Entry

Memoria: Especificación y verificación de programas moleculares en PVS. Departamento de Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla. En formato postscript y PDF BibTeX Entry

Using Automated Reasoning Systems on Molecular Computing. En C. Ferretti, G. Mauri. C. Zandron (eds.) International Meeting on DNA Computing, DNA 10. Lecture Notes in Computer Science, Springer-Verlag, Berlín-Heidelberg, 3384 (2005), 128-137 (en colaboración con M. J. Pérez Jiménez) BibTeX Entry