title: A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems.
abstract: This paper proposes a formal methodology to analyse bio-systems, in particular synthetic biology systems. An integrative analysis perspective combining different model checking approaches based on different property categories is provided. The methodology is applied to the synthetic pulse generator system and several verification experiments are carried out to demonstrate the use of our approach to formally analyse various aspects of synthetic biology systems.
authors.forename: Savas
authors.initials: S
authors.lastname: Konur
authors.forename: Marian
authors.initials: M
authors.lastname: Gheorghe
mesh_terms: D000465:Algorithms; D003198:Computer Simulation; D008954:Models, Biological; D015233:Models, Statistical; D058615:Synthetic Biology / Q000379:methods*