Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Experimentally driven verification of synthetic biological circuits

B Yordanov, E Appleton, R Ganguly, E A Gol, S B Carr, S Bhatia, T Haddock, C Belta, and D Densmore


We present a framework that allows us to construct and formally analyze the behavior of synthetic gene circuits from specifications in a high level language used in describing electronic circuits. Our back-end synthesis tool automatically generates genetic-regulatory network (GRN) topology realizing the specifications with assigned biological parts from a database. We describe experimental procedures to acquire characterization data for the assigned parts and construct mathematical models capturing all possible behaviors of the generated GRN. We delineate algorithms to create finite abstractions of these models, and novel analysis techniques inspired from model-checking to verify behavioral specifications using Linear Temporal Logic (LTL) formulae.


Publication typeInproceedings
Published inDesign, Automation Test in Europe Conference Exhibition (DATE), 2012
> Publications > Experimentally driven verification of synthetic biological circuits