Title :
A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems
Author :
Konur, Savas ; Gheorghe, Marian
Author_Institution :
Dept. of Comput. Sci., Univ. of Sheffield, Sheffield, UK
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.
Keywords :
bioinformatics; biological techniques; formal verification; formal methodology; integrative analysis; property-driven methodology; synthetic biology systems; synthetic pulse generator system; verification experiments; Analytical models; Biological system modeling; Computational modeling; Mathematical model; Model checking; Probabilistic logic; Synthetic biology; Formal analysis; formal analysis; model checking; synthetic biology; synthetic pulse generator; verification;
Journal_Title :
Computational Biology and Bioinformatics, IEEE/ACM Transactions on
DOI :
10.1109/TCBB.2014.2362531
