Formal Verification of Programs in Molecular Models with Random Access Memory

Creators: 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)

Others:: 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

Description

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.

Abstract

Ministerio de Ciencia y Tecnología TIC2002-04220-C03- 01

Formal Verification of Programs in Molecular Models with Random Access Memory

Description

Abstract

Additional details