Using automated reasoning systems on molecular computing
| Title | Using automated reasoning systems on molecular computing |
| Publication Type | Journal Papers |
| Year of Publication | 2005 |
| Authors | Graciani-Díaz, C., & Pérez-Jiménez M. J. |
| Journal Title | Lecture Notes in Computer Science |
| ISBN Number | 978-3-540-26174-2 |
| Publisher | Springer |
| Place Published | Amsterdam, The Netherlands |
| Volume | 3384 |
| Pages | 128-137 |
| Abstract | This paper is focused on the interplay between automated reasoning systems (as theoretical and formal devices to study the correctness of a program) and DNA computing (as practical devices to handle DNA strands to solve classical hard problems with laboratory techniques). To illustrate this work we have proven in the PVS proof checker, the correctness of a program, in a sticker based model for DNA computation, solving the pairwise disjoint families problem. Also we introduce the formalization of the Floyd–Hoare logic for imperative programs. |
| URL | http://www.springerlink.com/content/hbgc18tyv7nap649/?p=421537edb83041aa94fcae99f6225d79&pi=10 |
| ISSN Number | 0302-9743 |
| DOI | 10.1007/b136914 |
Research Group on Natural Computing (PAI - TIC 193)
Department of Computer Science and Artificial Intelligence
University of Seville
Webmasters: the members of the RGNC
| Follow us: |  |
 |
|
Featured News: |
|
Mario J. Pérez-Jiménez in the top 2% of scientists of the World |
|
Agustín became Full Professor |
|
Science names our most recent research project |