Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems. ACS Synthetic Biology, 4 (1): 83-92.
AbstractComputational models are perceived as an attractive alternative to mathematical models, e.g. ordinary differential equations. These models incorporate a set of methods for specifying, modelling, testing and simulating biological systems. In addition, they can be analysed using algorithmic techniques, e.g. formal verification. This paper shows how formal verification is utilised 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