Taming Living Logic using Formal Methods

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2017Researchpeer-review

Documents

DOI

View graph of relations

One of the goals of synthetic biology is to build genetic circuits to control the behavior of a cell for different application domains, such as medical, environmental, and biotech. During the design process of genetic circuits, biologists are often interested in the probability of a system to work under different conditions. Since genetic circuits are noisy and stochastic in nature, the verification process becomes very complicated. The state space of stochastic genetic circuit models is usually too large to be handled by classical model
checking techniques. Therefore, the verification of genetic circuit models is usually performed by the statistical approach of model checking. In this work, we present a workflow for checking genetic circuit models using a stochastic model checker (Uppaal) and a stochastic simulator (D-VASim). We demonstrate with experimentations that the proposed workflow is not only sufficient for the model checking of genetic circuits, but can also be used to design the genetic circuits with desired timings.
Original languageEnglish
Title of host publicationModels, Algorithms, Logics and Tools
PublisherSpringer
Publication date2017
Pages503–515
ISBN (Print)9783319631202
DOIs
Publication statusPublished - 2017
EventKiMfest - Scandic Hotel, Aalborg Øst, Aalborg, Denmark
Duration: 19 Aug 201720 Aug 2017

Conference

ConferenceKiMfest
LocationScandic Hotel, Aalborg Øst
CountryDenmark
CityAalborg
Period19/08/201720/08/2017
SeriesLecture Notes in Computer Science
Volume10460
ISSN0302-9743

Bibliographical note

Larsen Festschrift - Essays dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday.

CitationsWeb of Science® Times Cited: No match on DOI

Download statistics

No data available

ID: 134787167