Yes / Computational models are perceived as an attractive alternative to mathematical models (e.g., ordinary differential equations). These models incorporate a set of methods for specifying, modeling, testing, and simulating biological systems. In addition, they can be analyzed using algorithmic techniques (e.g., formal verification). This paper shows how formal verification is utilized in systems and synthetic biology through qualitative vs quantitative analysis. Here, we choose two well-known case studies: quorum sensing in P. aeruginosas and pulse generator. The paper reports verification analysis of two systems carried out using some model checking tools, integrated to the Infobiotics Workbench platform, where system models are based on stochastic P systems. / EPSRC
Identifer | oai:union.ndltd.org:BRADFORD/oai:bradscholars.brad.ac.uk:10454/8712 |
Date | 04 August 2014 |
Creators | Konur, Savas, Gheorghe, Marian, Dragomir, C., Mierla, L.M., Ipate, F., Krasnogor, N. |
Source Sets | Bradford Scholars |
Language | English |
Detected Language | English |
Type | Article, Accepted Manuscript |
Rights | © 2015 ACS. This document is the Accepted Manuscript version of a Published Work that appeared in final form in ACS Synthetic Biology, copyright © American Chemical Society, after peer-review and technical editing by the publisher. To access the final edited and published work see http://pubs.acs.org/doi/abs/10.1021/sb500134w |
Page generated in 0.0018 seconds