dc.contributor.editor | Pérez Jiménez, Mario de Jesús | es |
dc.contributor.editor | Romero Jiménez, Álvaro | es |
dc.contributor.editor | Sancho Caparrini, Fernando | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.creator | Sancho Caparrini, Fernando | es |
dc.date.accessioned | 2021-04-15T11:40:23Z | |
dc.date.available | 2021-04-15T11:40:23Z | |
dc.date.issued | 2005 | |
dc.identifier.citation | Pérez Jiménez, M.d.J., y Sancho Caparrini, F. (2005). Formal Verification of Programs in Molecular Models with Random Access Memory. En M.d.J. Pérez Jiménez, Á. Romero Jiménez, F. Sancho Caparrini (Ed.), Recent Results in Natural Computing (pp. 205-229). Sevilla, España: Fénix Editorial. | |
dc.identifier.isbn | 84-609-5864-2 | es |
dc.identifier.uri | https://hdl.handle.net/11441/107135 | |
dc.description.abstract | Formal verification of molecular programs is a first step towards
their automatic processing by means of reasoning systems
(ACL2, PVS, etc). In this paper a systematic method to
establish verifications of these programs within molecular models
with memory, that is, molecular computing models where
some operations modifying the inner structure of molecules exist,
is proposed. The method presented in this work is applied to
relevant problems for the design of molecular programs solving
some well-known numerical NP-complete problems: the Generating
Cover Families problem, the Set Covering problem and the
Minimal Set Cover Selection Problem. | es |
dc.description.sponsorship | Ministerio de Ciencia y Tecnología TIC2002-04220-C03- 01 | es |
dc.format | application/pdf | es |
dc.format.extent | 25 | es |
dc.language.iso | eng | es |
dc.publisher | Fénix Editorial | es |
dc.relation.ispartof | Recent Results in Natural Computing | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Formal Verification of Programs in Molecular Models with Random Access Memory | es |
dc.type | info:eu-repo/semantics/bookPart | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.projectID | TIC2002-04220-C03- 01 | es |
dc.relation.publisherversion | http://www.cs.us.es/~marper/investigacion/recent.html | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | es |
dc.publication.initialPage | 205 | es |
dc.publication.endPage | 229 | es |
dc.relation.publicationplace | Sevilla, España | es |
dc.identifier.sisius | 7754555 | es |
dc.contributor.funder | Ministerio de Ciencia Y Tecnología (MCYT). España | es |