English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The design of genetic networks with specific functions is one of the majorgoals of synthetic biology. However, constructing biological devices that work"as required" remains challenging, while the cost of uncovering flawed designsexperimentally is large. To address this issue, we propose a fully automatedframework that allows the correctness of synthetic gene networks to be formallyverified in silico from rich, high level functional specifications.  Given a device, we automatically construct a mathematical model fromexperimental data characterizing the parts it is composed of. The specificmodel structure guarantees that all experimental observations are captured andallows us to construct finite abstractions through polyhedral operations. Thecorrectness of the model with respect to temporal logic specifications can thenbe verified automatically using methods inspired by model checking.  Overall, our procedure is conservative but it can filter through a largenumber of potential device designs and select few that satisfy thespecification to be implemented and tested further experimentally. Illustrativeexamples of the application of our methods to the design of simple syntheticgene networks are included.

A Formal Verification Approach to the Design of Synthetic Gene Networks