DMCA
Challenges in automated verification and synthesis for molecular programming
| Citations: | 1 - 1 self |
BibTeX
@MISC{Kwiatkowska_challengesin,
author = {Marta Kwiatkowska},
title = {Challenges in automated verification and synthesis for molecular programming},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Molecular programming is concerned with building synthetic nanoscale devices from molecules, which can be programmed to autonomously per-form a specific task. Several artifacts have been demonstrated experi-mentally, including DNA circuits that can compute a logic formula and molecular robots that can transport cargo. In view of their natural inter-face to biological components, many potential applications are envisaged, e.g. point-of-care diagnostics and targeted delivery of drugs. However, the inherent complexity of the resulting biochemical systems makes the manual process of designing such devices error-prone, requiring automated design support methodologies, analogous to design automation tools for digital systems. This paper gives an overview of the role that probabilis-tic modelling and verification techniques can play in designing, analysing, debugging and synthesising programmable molecular devices, and outlines the challenges in achieving automated verification and synthesis software technologies in this setting. 1
Keyphrases
molecular programming automated verification verification technique inherent complexity many potential application automation tool dna circuit digital system logic formula biological component targeted delivery probabilis-tic modelling building synthetic nanoscale device device error-prone specific task natural inter-face resulting biochemical system synthesis software technology point-of-care diagnostics programmable molecular device molecular robot several artifact design support methodology manual process
