Formal Verification of Programs in Molecular Models with Random Access Memory
| Autor: | Pérez Jiménez, Mario de Jesús, Sancho Caparrini, Fernando, Pérez Jiménez, Mario de Jesús (Coordinador), Romero Jiménez, Álvaro (Coordinador), Sancho Caparrini, Fernando (Coordinador) |
|---|---|
| Přispěvatelé: | Pérez Jiménez, Mario de Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando, Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla. TIC193: Computación Natural, Ministerio de Ciencia Y Tecnología (MCYT). España |
| Rok vydání: | 2005 |
| Zdroj: | idUS: Depósito de Investigación de la Universidad de Sevilla Universidad de Sevilla (US) idUS. Depósito de Investigación de la Universidad de Sevilla instname |
| ISSN: | 2002-0422 |
| Popis: | 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. Ministerio de Ciencia y Tecnología TIC2002-04220-C03- 01 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|